Functional and logic programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018 : proceedings - Gallagher, John P. (Lecture Notes in Computer Science, 2018)