Functional and Logic Programming : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings - Hanus, Michael; Igarashi, Atsushi (Cham Springer International Publishing AG, 2022)