Implementation and Application of Functional Languages [electronic resource] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers /
International Symposium on Implementation and Application of Functional LanguagesCorporate Author
International Symposium on Implementation and Application of Functional Languages(22nd :2010 :Alphen aan den Rijn, Netherlands)
International Symposium on Implementation and Application of Functional Languages
Hage, Jurriaan.editor.
Morazán, Marco T.editor.
This book constitutes the thoroughly refereed post-proceedings of the 22nd International Workshop on Implementation and Applications of Functional Languages, IFL 2011, held in Alphen aan den Rijn, The Netherlands in September 2011. The 13 revised full papers presented were carefully reviewed and were selected from 31 submissions. The IFL symposia bring together researchers and practitioners that are actively engaged in the implementation and the use of functional and function based programming languages. Every year IFL provides a venue for the presentation and discussion of new ideas and concepts, of work in progress, and of publication-ripe results.
Bibliographic Level Mode of Issuance: Monograph
Includes bibliographical references and index.
This book constitutes the thoroughly refereed post-proceedings of the 22nd International Workshop on Implementation and Applications of Functional Languages, IFL 2011, held in Alphen aan den Rijn, The Netherlands in September 2011. The 13 revised full papers presented were carefully reviewed and were selected from 31 submissions. The IFL symposia bring together researchers and practitioners that are actively engaged in the implementation and the use of functional and function based programming languages. Every year IFL provides a venue for the presentation and discussion of new ideas and concepts, of work in progress, and of publication-ripe results.
Computer logic.
Programming languages (Electronic computers).
Software engineering.
Mathematical logic.
Computer programming.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Mathematical Logic and Formal Languages.
Programming Techniques.

Lecture Notes in Computer Science