9. IFL 1997: St. Andrews, Scotland, UK

@proceedings{DBLP:conf/ifl/1997,
  editor    = {Chris Clack and
               Kevin Hammond and
               Antony J. T. Davie},
  title     = {Implementation of Functional Languages, 9th International Workshop,
               IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected
               Papers},
  booktitle = {IFL},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1467},
  year      = {1998},
  isbn      = {3-540-64849-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Compilation

• Simon L. Peyton Jones, Thomas Nordin, Dino Oliva:
  C-: A Portable Assembly Language. 1-19
  Electronic Edition (Springer LINK) BibTeX
• Ian Holyer, Eleni Spiliopoulou:
  The Brisk Machine: A Simplified STG Machine. 20-38
  Electronic Edition (Springer LINK) BibTeX
• David Wakeling:
  A Haskell to Java Virtual Machine Code Compiler. 39-52
  Electronic Edition (Springer LINK) BibTeX
• Olaf Chitil:
  Common Subexpressions Are Uncommon in Lazy Functional Languages. 53-71
  Electronic Edition (Springer LINK) BibTeX
• Sven-Bodo Scholz:
  WITH-Loop-Folding in SAC - Condensing Consecutive Array Operations. 72-91
  Electronic Edition (Springer LINK) BibTeX

Types

• Johan Agat:
  Types for Register Allocation. 92-111
  Electronic Edition (Springer LINK) BibTeX
• Torben Æ. Mogensen:
  Types for 0, 1 or Many Uses. 112-122
  Electronic Edition (Springer LINK) BibTeX

Benchmarking and Profiling

• Martin Erwig:
  Fully Persistent Graphs - Which One To Choose? 123-140
  Electronic Edition (Springer LINK) BibTeX
• Graeme E. Moss, Colin Runciman:
  Auburn: A Kit for Benchmarking Functional Data Structures. 141-159
  Electronic Edition (Springer LINK) BibTeX
• Jan Sparud, Colin Runciman:
  Complete and Partial Redex Trails of Functional Computations. 160-177
  Electronic Edition (Springer LINK) BibTeX

Parallelism

• Hans-Wolfgang Loidl, Philip W. Trinder:
  Engineering Large Parallel Functional Programs. 178-197
  Electronic Edition (Springer LINK) BibTeX
• Hans-Wolfgang Loidl, Richard G. Morgan, Philip W. Trinder, Sanjay Poria, Chris Cooper, Simon L. Peyton Jones, Roberto Garigliano:
  Parallelising a Large Functional Program or: Keeping LOLITA Busy. 198-213
  Electronic Edition (Springer LINK) BibTeX
• Sahalu B. Junaidu, Antony J. T. Davie, Kevin Hammond:
  Naira: A Parallel² Haskell Compiler. 214-230
  Electronic Edition (Springer LINK) BibTeX
• Manuel M. T. Chakravarty:
  Lazy Thread and Task Creation in Parallel Graph-Reduction. 231-249
  Electronic Edition (Springer LINK) BibTeX
• Silvia Breitinger, Ulrike Klusik, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Pena:
  DREAM: The DistRibuted Eden Abstract Machine. 250-269
  Electronic Edition (Springer LINK) BibTeX
• Pascal R. Serrarens:
  Using Multicasting for Optimising Data-Parallelism. 270-284
  Electronic Edition (Springer LINK) BibTeX

Interaction

• Einar W. Karlsen, Stefan Westmeier:
  Using Concurrent Haskell to Develop Views over an Active Repository. 285-303
  Electronic Edition (Springer LINK) BibTeX
• Peter Achten, Marinus J. Plasmeijer:
  Interactive Functional Objects in Clean. 304-321
  Electronic Edition (Springer LINK) BibTeX

Language Design

• Klaus Didrich, Wolfgang Grieskamp, Christian Maeder, Peter Pepper:
  Programming in the Large: The Algebraic-Functional Language Opal 2alpha. 322-337
  Electronic Edition (Springer LINK) BibTeX
• Markus Mohnen:
  Context Patterns, Part II. 338-357
  Electronic Edition (Springer LINK) BibTeX

Garbage Collection

• Kent Boortz, Dan Sahlin:
  A Compacting Garbage Collector for Unidirectional Heaps. 358-
  Electronic Edition (Springer LINK) BibTeX