16. IFL 2004: Lübeck, Germany

• Alfredo Cristóbal-Salas, Andrey Chernykh, Edelmira Rodríguez-Alcantar, Jean-Luc Gaudiot:
  Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations. 1-16
  Electronic Edition (link) BibTeX
• Peter Achten:
  The Feasibility of Interactively Probing Quiescent Properties of GUI Applications. 17-34
  Electronic Edition (link) BibTeX
• Sander Evers, Peter Achten, Jan Kuper:
  A Functional Programming Technique for Forms in Graphical User Interfaces. 35-51
  Electronic Edition (link) BibTeX
• Olivier Danvy:
  A Rational Deconstruction of Landin's SECD Machine. 52-71
  Electronic Edition (link) BibTeX
• Holger Gast:
  Explaining ML Type Errors by Data Flows. 72-89
  Electronic Edition (link) BibTeX
• Baltasar Trancón-y-Widemann:
  V->M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions. 90-107
  Electronic Edition (link) BibTeX
• Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P. Tolmach:
  A Virtual Machine for Functional Logic Computations. 108-125
  Electronic Edition (link) BibTeX
• Olaf Chitil:
  Source-Based Trace Exploration. 126-141
  Electronic Edition (link) BibTeX
• Nick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo:
  Shrinking Reductions in SML.NET. 142-159
  Electronic Edition (link) BibTeX
• Ronny Wichers Schreur, Marinus J. Plasmeijer:
  Dynamic Construction of Generic Functions. 160-176
  Electronic Edition (link) BibTeX
• Malcolm Dowse, Andrew Butterfield, Marko C. J. D. van Eekelen:
  Reasoning About Deterministic Concurrent Functional I/O. 177-194
  Electronic Edition (link) BibTeX
• Alexander V. Shafarenko, Sven-Bodo Scholz:
  General Homomorphic Overloading. 195-210
  Electronic Edition (link) BibTeX
• Ekaterina Stefanov, Anthony M. Sloane:
  Simple, Effective Code-Size Reduction for Functional Programs. 211-225
  Electronic Edition (link) BibTeX