17. IFL 2005: Dublin, Ireland

• Alcino Cunha, Jorge Sousa Pinto, José Proença:
  A Framework for Point-Free Program Transformation. 1-18
  Electronic Edition (link) BibTeX
• Ian Mackie:
  Encoding Strategies in the Lambda Calculus with Interaction Nets. 19-36
  Electronic Edition (link) BibTeX
• Marko C. J. D. van Eekelen, Maarten de Mol:
  Proof Tool Support for Explicit Strictness. 37-54
  Electronic Edition (link) BibTeX
• Olivier Danvy, Kevin Millikin:
  A Rational Deconstruction of Landin's J Operator. 55-73
  Electronic Edition (link) BibTeX
• Edwin Brady, Kevin Hammond:
  A Dependently Typed Framework for Static Analysis of Program Execution Costs. 74-90
  Electronic Edition (link) BibTeX
• Catherine Hope, Graham Hutton:
  Accurate Step Counting. 91-105
  Electronic Edition (link) BibTeX
• Rinus Plasmeijer, Peter Achten:
  The Implementation of iData. 106-123
  Electronic Edition (link) BibTeX
• Frank Huch, Frank Kupke:
  A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell. 124-141
  Electronic Edition (link) BibTeX
• Arjen van Weelden, Sjaak Smetsers, Rinus Plasmeijer:
  Polytypic Syntax Tree Operations. 142-159
  Electronic Edition (link) BibTeX
• Alexander V. Shafarenko, Sven-Bodo Scholz, Stephan Herhut, Clemens Grelck, Kai Trojahner:
  Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences. 160-177
  Electronic Edition (link) BibTeX
• Clemens Grelck, Karsten Hinckfuß, Sven-Bodo Scholz:
  With-Loop Fusion for Data Locality and Parallelism. 178-195
  Electronic Edition (link) BibTeX
• Keith Hanna:
  A Document-Centered Environment for Haskell. 196-211
  Electronic Edition (link) BibTeX
• Clemens Grelck, Sven-Bodo Scholz, Alexander V. Shafarenko:
  A Binding Scope Analysis for Generic Programs on Arrays. 212-230
  Electronic Edition (link) BibTeX