Implementation and Application of Functional Languages

22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers

  • Jurriaan Hage
  • Marco T. Morazán
Conference proceedings IFL 2010

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6647)

Table of contents

  1. Front Matter
  2. George Giorgidze, Torsten Grust, Tom Schreiber, Jeroen Weijers
    Pages 1-18
  3. Ralf Hinze, Thomas Harper, Daniel W. H. James
    Pages 19-37
  4. Jost Berthold
    Pages 38-53
  5. Arjan Boeijink, Philip K. F. Hölzenspies, Jan Kuper
    Pages 54-71
  6. Filip Sieczkowski, Małgorzata Biernacka, Dariusz Biernacki
    Pages 72-88
  7. Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
    Pages 105-120
  8. Emil Axelsson, Koen Claessen, Mary Sheeran, Josef Svenningsson, David Engdal, Anders Persson
    Pages 121-136
  9. Mihalis Pitidis, Konstantinos Sagonas
    Pages 137-152
  10. Steffen Michels, Rinus Plasmeijer, Peter Achten
    Pages 153-168
  11. Christopher Brown, Hans-Wolfgang Loidl, Jost Berthold, Kevin Hammond
    Pages 169-184
  12. Stephan Herhut, Carl Joslin, Sven-Bodo Scholz, Raphael Poss, Clemens Grelck
    Pages 185-202
  13. Joel Bjornson, Anton Tayanovskyy, Adam Granicz
    Pages 203-216
  14. Back Matter

About these proceedings


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.


Erlang programming Haskell programming abstract state machines functional programming program execution programming calculi type systems

Editors and affiliations

  • Jurriaan Hage
    • 1
  • Marco T. Morazán
    • 2
  1. 1.Department of Information and Computing SciencesUniversiteit UtrechtUtrechtThe Netherlands
  2. 2.Seton Hall UniversitySouth OrangeUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-24275-5
  • Online ISBN 978-3-642-24276-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software