Implementation and Application of Functional Languages

23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

  • Andy Gill
  • Jurriaan Hage
Conference proceedings IFL 2011

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

Table of contents

  1. Front Matter
  2. Arie Middelkoop, Alexander B. Elyasov, Wishnu Prasetya
    Pages 1-16
  3. Edward Amsden, Matthew Fluet
    Pages 17-34
  4. Jason S. Reich, Matthew Naylor, Colin Runciman
    Pages 69-84
  5. Anders Persson, Emil Axelsson, Josef Svenningsson
    Pages 85-99
  6. Stephen Chang, Eli Barzilay, John Clements, Matthias Felleisen
    Pages 100-115
  7. Pieter Koopman, Peter Achten, Rinus Plasmeijer
    Pages 116-133
  8. Adam Megacz
    Pages 164-180
  9. Back Matter

About these proceedings


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.


aspect oriented programming aspect oriented programming hardware description language language implementation search-based software engineering

Editors and affiliations

  • Andy Gill
    • 1
  • Jurriaan Hage
    • 2
  1. 1.Department of Electrical Engineering and Computer ScienceUniversity of KansasLawrenceUSA
  2. 2.Department of Information and Computing SciencesUtrecht UniversityUtrechtThe Netherlands

Bibliographic information

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