Akimasa Morihata. Test Your Polymorphic Functions with Boolean Values. In Michael Sperber, Ekaterina Komendantskaya, editors, Functional and Logic Programming - 18th International Symposium, FLOPS 2026, Tsukuba, Japan, May 26-28, 2026, Proceedings. Volume 16533 of Lecture Notes in Computer Science, pages 257-273, Springer, 2026. [doi]
Abstract is missing.