14. IFL 2002: Madrid, Spain

@proceedings{DBLP:conf/ifl/2002,
  editor    = {Ricardo Pena and
               Thomas Arts},
  title     = {Implementation of Functional Languages, 14th International Workshop,
               IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected
               Papers},
  booktitle = {IFL},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2670},
  year      = {2003},
  isbn      = {3-540-40190-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Kevin Hammond, Greg Michaelson:
  Predictable Space Behaviour in FSM-Hume. 1-16
  Electronic Edition (link) BibTeX
• Peter Achten, Artem Alimarine, Marinus J. Plasmeijer:
  When Generic Functions Use Dynamic Values. 17-33
  Electronic Edition (link) BibTeX
• Phil Bagwell:
  Fast Functional Lists. 34-50
  Electronic Edition (link) BibTeX
• Diederik van Arkel, John H. G. van Groningen, Sjaak Smetsers:
  Fusion in Practice. 51-67
  Electronic Edition (link) BibTeX
• Malcolm Dowse, Glenn Strong, Andrew Butterfield:
  Proving Make Correct: I/O Proofs in Haskell and Clean. 68-83
  Electronic Edition (link) BibTeX
• Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, Marinus J. Plasmeijer:
  Gast: Generic Automated Software Testing. 84-100
  Electronic Edition (link) BibTeX
• Martijn Vervoort, Marinus J. Plasmeijer:
  Lazy Dynamic Input/Output in the Lazy Functional Language Clean. 101-117
  Electronic Edition (link) BibTeX
• Nils Ellmenreich, Christian Lengauer:
  PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines. 118-133
  Electronic Edition (link) BibTeX
• Tobias Lindahl, Konstantinos F. Sagonas:
  Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment. 134-149
  Electronic Edition (link) BibTeX
• Baltasar Trancón-y-Widemann:
  Stacking Cycles: Functional Transformation of Circular Data. 150-164
  Electronic Edition (link) BibTeX
• Olaf Chitil, Colin Runciman, Malcolm Wallace:
  Transforming Haskell for Tracing. 165-181
  Electronic Edition (link) BibTeX
• Clemens Grelck, Sven-Bodo Scholz:
  Axis Control in SAC. 182-198
  Electronic Edition (link) BibTeX
• André Rauber Du Bois, Hans-Wolfgang Loidl, Philip W. Trinder:
  Thread Migration in a Parallel Graph Reducer. 199-214
  Electronic Edition (link) BibTeX
• Arjen van Weelden, Marinus J. Plasmeijer:
  Towards a Strongly Typed Functional Operating System. 215-231
  Electronic Edition (link) BibTeX
• Álvaro J. Rebón Portillo, Kevin Hammond, Hans-Wolfgang Loidl, Pedro B. Vasconcelos:
  Cost Analysis Using Automatic Size and Time Inference. 232-248
  Electronic Edition (link) BibTeX