12. IFL 2000: Aachen, Germany

@proceedings{DBLP:conf/ifl/2000,
  editor    = {Markus Mohnen and
               Pieter W. M. Koopman},
  title     = {Implementation of Functional Languages, 12th International Workshop,
               IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers},
  booktitle = {IFL},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2011},
  year      = {2001},
  isbn      = {3-540-41919-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Ricardo Pena, Clara Segura:
  Non-determinism Analysis in a Parallel-Functional Language. 1-18
  Electronic Edition (Springer LINK) BibTeX
• John Sargeant, Chris C. Kirkham, Ian Watson:
  Exploiting Implicit Parallelism in Functional Programs with SLAM. 19-36
  Electronic Edition (Springer LINK) BibTeX
• Thomas Arts, Thomas Noll:
  Verifying Generic Erlang Client-Server Implementations. 37-52
  Electronic Edition (Springer LINK) BibTeX
• Robert F. Pointon, Philip W. Trinder, Hans-Wolfgang Loidl:
  The Design and Implementation of Glasgow Distributed Haskell. 53-70
  Electronic Edition (Springer LINK) BibTeX
• Ulrike Klusik, Rita Loogen, Steffen Priebe, Fernando Rubio:
  Implementation Skeletons in Eden: Low-Effort Parallel Programming. 71-88
  Electronic Edition (Springer LINK) BibTeX
• Michael Hanus, Frank Huch, Philipp Niederau:
  ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry. 89-106
  Electronic Edition (Springer LINK) BibTeX
• Frank Huch, Ulrich Norbisrath:
  Distributed Programming in Haskell with Ports. 107-121
  Electronic Edition (Springer LINK) BibTeX
• Kevin Hammond:
  The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour. 122-139
  Electronic Edition (Springer LINK) BibTeX
• Jörgen Gustavsson, Josef Svenningsson:
  A Usage Analysis with Bounded Usage Polymorphism and Subtyping. 140-157
  Electronic Edition (Springer LINK) BibTeX
• Thorsten H.-G. Zörner, Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
  Polygonizing Implicit Surfaces in a Purely Functional Way. 158-175
  Electronic Edition (Springer LINK) BibTeX
• Olaf Chitil, Colin Runciman, Malcolm Wallace:
  Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs. 176-193
  Electronic Edition (Springer LINK) BibTeX
• Peter Achten, Simon L. Peyton Jones:
  Porting the Clean Object I/O Library to Haskell. 194-213
  Electronic Edition (Springer LINK) BibTeX
• Raimund Schröder, Werner E. Kluge:
  Organizing Speculative Computations in Functional Systems. 214-230
  Electronic Edition (Springer LINK) BibTeX
• Clemens Grelck:
  Improving Cache Effectiveness through Array Data Layout Manipulation in SAC. 231-248
  Electronic Edition (Springer LINK) BibTeX
• John O'Donnell:
  The Collective Semantics in Functional SPMD Programming. 249-266
  Electronic Edition (Springer LINK) BibTeX