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 (13 papers)

  1. Front Matter
  2. PICOBIT: A Compact Scheme System for Microcontrollers
    Vincent St-Amour, Marc Feeley
    Pages 1-17
  3. Introducing Kansas Lava
    Andy Gill, Tristan Bull, Garrin Kimmell, Erik Perrins, Ed Komp, Brett Werling
    Pages 18-35
  4. iTasks 2: iTasks for End-users
    Bas Lijnse, Rinus Plasmeijer
    Pages 36-54
  5. ChalkBoard: Mapping Functions to Polygons
    Kevin Matlage, Andy Gill
    Pages 55-71
  6. Arity Raising in Manticore
    Lars Bergstrom, John Reppy
    Pages 90-106
  7. Symbiotic Expressions
    Robert Bernecky, Stephan Herhut, Sven-Bodo Scholz
    Pages 107-124
  8. Stream Fusion on Haskell Unicode Strings
    Thomas Harper
    Pages 125-140
  9. Nested and Dynamic Contract Boundaries
    T. Stephen Strickland, Matthias Felleisen
    Pages 141-158
  10. Pull-Ups, Push-Downs, and Passing It Around
    Sean Leather, Andres Löh, Johan Jeuring
    Pages 159-178
  11. A Typical Synergy
    Thomas van Noort, Peter Achten, Rinus Plasmeijer
    Pages 179-197
  12. Engineering Higher-Order Modules in SML/NJ
    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