Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings - Gibbons, Jeremy. (Springer Nature Singapore,)