Functional and Logic Programming 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings - Hanus, Michael. (Springer International Publishing,)