Implementation and Application of Functional Languages

17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers

  • Andrew Butterfield
  • Clemens Grelck
  • Frank Huch
Conference proceedings IFL 2005

DOI: 10.1007/11964681

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4015)

Table of contents (13 papers)

  1. Front Matter
  2. Contributions

    1. A Framework for Point-Free Program Transformation
      Alcino Cunha, Jorge Sousa Pinto, José Proença
      Pages 1-18
    2. Proof Tool Support for Explicit Strictness
      Marko van Eekelen, Maarten de Mol
      Pages 37-54
    3. A Rational Deconstruction of Landin’s J Operator
      Olivier Danvy, Kevin Millikin
      Pages 55-73
    4. Accurate Step Counting
      Catherine Hope, Graham Hutton
      Pages 91-105
    5. The Implementation of iData
      Rinus Plasmeijer, Peter Achten
      Pages 106-123
    6. Polytypic Syntax Tree Operations
      Arjen van Weelden, Sjaak Smetsers, Rinus Plasmeijer
      Pages 142-159
    7. Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences
      Alex Shafarenko, Sven-Bodo Scholz, Stephan Herhut, Clemens Grelck, Kai Trojahner
      Pages 160-177
    8. With-Loop Fusion for Data Locality and Parallelism
      Clemens Grelck, Karsten Hinckfuß, Sven-Bodo Scholz
      Pages 178-195
    9. A Binding Scope Analysis for Generic Programs on Arrays
      Clemens Grelck, Sven-Bodo Scholz, Alex Shafarenko
      Pages 212-230
  3. Back Matter

About these proceedings


Haskell Haskell programming ML programming function-based programming functional logic computation functional programming functional programming languages functional theorem proving graph rewriting lambda calculus mathematical semantics programming languages implementat programming languages implementation server-side Web programming theorem proving

Editors and affiliations

  • Andrew Butterfield
    • 1
  • Clemens Grelck
    • 2
  • Frank Huch
    • 3
  1. 1.Trinity College DublinIreland
  2. 2.University of LübeckGermany
  3. 3.Institute of Computer ScienceUniversity of KielKielGermany

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-69174-7
  • Online ISBN 978-3-540-69175-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349