You are about to access our book library "Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings (Lecture Notes in Computer Science Book 12073) full version" .