Overview
- Up to date results
- Fast conference proceedings
- State-of-the-art-report
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6647)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: IFL 2010.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents(13 papers)
Other volumes
-
Implementation and Application of Functional Languages
About this book
This book constitutes the thoroughly refereed post-conference
proceedings of the 22nd International Symposium on Implementation and
Applications of Functional Languages, IFL 2010, held in Alphen aan den
Rijn, The Netherlands, in September 2010.
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.
Editors and Affiliations
-
Department of Information and Computing Sciences, Universiteit Utrecht, Utrecht, The Netherlands
Jurriaan Hage
-
Seton Hall University, South Orange, USA
Marco T. Morazán
Bibliographic Information
Book Title: Implementation and Application of Functional Languages
Book Subtitle: 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers
Editors: Jurriaan Hage, Marco T. Morazán
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-24276-2
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag GmbH Berlin Heidelberg 2011
Softcover ISBN: 978-3-642-24275-5Published: 19 September 2011
eBook ISBN: 978-3-642-24276-2Published: 11 October 2011
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 217
Number of Illustrations: 25 b/w illustrations, 4 illustrations in colour
Topics: Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Software Engineering, Mathematical Logic and Formal Languages, Programming Techniques