Functional and Logic Programming : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
Publication year: 2008
ISBN: 978-3-540-78969-7
Internet Resource: Please Login to download book
This volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), held in Ise, Japan, April 14-16, 2008 at the Ise City Plaza. FLOPS is a forum for research on all issues concerning functional progr- ming and logic programming. In particular it aims to stimulate the cro- fertilization as well as integration of the two paradigms. The Program Committee meeting was conducted electro- cally, for a period of two weeks in December 2007. After careful and thorough discussion, the ProgramCommittee selected20 papers(33%)for presentationat theconference.
Subject: Computer Science, Constraint, Debugging, curry, declarative arithmetic, delimited continuation, dependent types, expressivity, functional programming, logic, logic programming, logical relations, meta-programming, nondeterminism, parallel programming, programming, Programming Languages, Compilers, Interpreters, Programming Techniques, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Artificial Intelligence
