Masami Hagiya Philip Wadler Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings 3945 2006 3-540-33438-6 FLOPS Lecture Notes in Computer Science Springer db/conf/flops/flops2006.html