Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings - Hagiya, Masami; Wadler, Philip (Programming and Software Engineering, 2006)