Functional and Logic Programming
This volume contains the proceedings of the 8th International Symposium on Functional and Logic Programming (FLOPS 2006), held in Fuji-Susono, Japan, April 24–26, 2006 at the Fuji Institute of Education and Training. FLOPS is a forum for research on all issues concerning functional progr- ming and logic programming. In particular it aims to stimulate the cro- fertilizationaswellastheintegrationofthetwoparadigms.ThepreviousFLOPS meetings took place in Fuji-Susono (1995), Shonan (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002) and Nara (2004). The proceedings of FLOPS 1999, FLOPS 2001, FLOPS 2002 and FLOPS 2004 were published by Springer in the Lecture Notes in Computer Science series, as volumes 1722, 2024, 2441 and 2998, respectively. In responseto the call for papers, 51 papers weresubmitted. Each paper was reviewed by at least three ProgramCommittee members with the help of expert external reviewers. The Program Committee meeting was conducted electro- cally for a period of 2 weeks in December 2005 and January 2006. After careful and thorough discussion, the Program Committee selected 17 papers (33%) for presentation at the conference. In addition to the 17 contributed papers, the symposium included talks by two invited speakers: Guy Steele (Sun Micros- tems Laboratories) and Peter Van Roy (Universit´ e Catholique de Louvain).
Constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS 2006Presents 17 revised full papers presented together with 2 invited contributionsTopics include data types, FP extensions, type theory, LP extensions, analysis, contracts, as well as Web and GUI