Implementation and Application of Functional Languages

21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers

  • Marco T. Morazán
  • Sven-Bodo Scholz
Conference proceedings IFL 2009

DOI: 10.1007/978-3-642-16478-1

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

Table of contents

  1. Front Matter
  2. Vincent St-Amour, Marc Feeley
    Pages 1-17
  3. Andy Gill, Tristan Bull, Garrin Kimmell, Erik Perrins, Ed Komp, Brett Werling
    Pages 18-35
  4. Bas Lijnse, Rinus Plasmeijer
    Pages 36-54
  5. Kevin Matlage, Andy Gill
    Pages 55-71
  6. Lars Bergstrom, John Reppy
    Pages 90-106
  7. Robert Bernecky, Stephan Herhut, Sven-Bodo Scholz
    Pages 107-124
  8. Thomas Harper
    Pages 125-140
  9. T. Stephen Strickland, Matthias Felleisen
    Pages 141-158
  10. Sean Leather, Andres Löh, Johan Jeuring
    Pages 159-178
  11. Thomas van Noort, Peter Achten, Rinus Plasmeijer
    Pages 179-197
  12. George Kuan, David MacQueen
    Pages 218-235
  13. Back Matter

About these proceedings

Keywords

code generation function-based programming functional logic computation functional programming functional programming languages functional theorem proving haskell programming ml programming parsing programming programming language programming techniques semantics structured analysis theorem provi

Editors and affiliations

  • Marco T. Morazán
    • 1
  • Sven-Bodo Scholz
    • 2
  1. 1.Department of Mathematics and Computer ScienceSeton Hall UniversitySouth OrangeUSA
  2. 2.School of Computer ScienceUniversity of HertfordshireHatfieldUK

Bibliographic information

  • Copyright Information Springer Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-16477-4
  • Online ISBN 978-3-642-16478-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349