Overview
- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7257)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: IFL 2011.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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.
Similar content being viewed by others
Keywords
Table of contents (11 papers)
-
Front Matter
-
Back Matter
Other volumes
-
Implementation and Application of Functional Languages
Editors and Affiliations
Bibliographic Information
Book Title: Implementation and Application of Functional Languages
Book Subtitle: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers
Editors: Andy Gill, Jurriaan Hage
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-34407-7
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2012
Softcover ISBN: 978-3-642-34406-0Published: 21 October 2012
eBook ISBN: 978-3-642-34407-7Published: 06 November 2012
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 181
Number of Illustrations: 68 b/w illustrations
Topics: Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Software Engineering, Mathematical Logic and Formal Languages, Programming Techniques