Implementation and Application of Functional Languages

24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

  • Ralf Hinze
Conference proceedings IFL 2012

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 8241)

Table of contents

  1. Front Matter
    Pages I-X
  2. Dominic Orchard, Alan Mycroft
    Pages 1-17
  3. Mischa Dieterle, Thomas Horstmeyer, Jost Berthold, Rita Loogen
    Pages 18-36
  4. Atze Dijkstra, Jurriën Stutterheim, Alessandro Vermeulen, S. Doaitse Swierstra
    Pages 37-52
  5. Jason S. Reich, Matthew Naylor, Colin Runciman
    Pages 53-70
  6. Neil Sculthorpe, Andrew Farmer, Andy Gill
    Pages 86-103
  7. José Pedro Magalhães
    Pages 104-121
  8. Cezar Ionescu, Patrik Jansson
    Pages 140-156
  9. Paul van der Walt, Wouter Swierstra
    Pages 157-173
  10. Peter Thiemann, Manuel M. T. Chakravarty
    Pages 174-189
  11. Kanae Tsushima, Kenichi Asai
    Pages 190-206
  12. Nicolas Wu, José Pedro Magalhães, Jeroen Bransen, Wouter Swierstra
    Pages 207-223
  13. Richard Senington, David Duke
    Pages 224-239
  14. Back Matter
    Pages 241-241

About these proceedings


This book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, held in Oxford, UK, in August/September 2012. The 14 papers included in this volume were carefully reviewed and selected from 28 revised submissions received from originally 37 presentations at the conference. The papers relate to the implementation and application of functional languages and function-based programming.


automated testing compiler data parallelism java search-based software engineering

Editors and affiliations

  • Ralf Hinze
    • 1
  1. 1.University of OxfordOxfordUnited Kingdom

Bibliographic information

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