Title: Implementation and Application of Functional Languages
Description: This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Implementation and Application of Functional Languages, IFL 2011, held in Lawrence, Kansas, USA, in October 2011. The 11 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers by researchers and practitioners who are actively engaged in the implementation and the use of functional and function based programming languages describe practical and theoretical work as well as applications and tools. They discuss new ideas and concepts, as well as work in progress and results.
Subjects: Mathematical Logic and Formal Languages, Logic design, Programming Techniques, Logics and Meanings of Programs, Computer science, Software engineering, Programming Languages, Compilers, Interpreters, Functional programming languages, Congresses