Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9?11, 2018, Proceedings - Gallagher, John P. (Springer International Publishing,)