Skip to main content
  • Conference proceedings
  • © 2006

Implementation and Application of Functional Languages

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

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): IFL: International Symposium on Implementation and Application of Functional Languages

Conference proceedings info: IFL 2005.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

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

Other Volumes

  1. Implementation and Application of Functional Languages

Keywords

  • 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

  • Trinity College Dublin, Ireland

    Andrew Butterfield

  • University of Lübeck, Germany

    Clemens Grelck

  • Institute of Computer Science, University of Kiel, Kiel, Germany

    Frank Huch

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions