## Andrew Butterfield, Clemens Grelck, Frank Huch

*Revised Selected Papers of the 17th International Workshop on Implementation and Application of Functional Languages*

IFL, 2005.

@proceedings{IFL-2005,
address = "Dublin, Ireland",
editor = "Andrew Butterfield and Clemens Grelck and Frank Huch",
isbn = "3-540-69174-X",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Revised Selected Papers of the 17th International Workshop on Implementation and Application of Functional Languages}",
volume = 4015,
year = 2005,
}

### Contents (13 items)

- IFL-2005-CunhaPP #framework #program transformation
- A Framework for Point-Free Program Transformation (AC, JSP, JP), pp. 1–18.
- IFL-2005-Mackie #encoding #interactive #λ-calculus
- Encoding Strategies in the λ Calculus with Interaction Nets (IM), pp. 19–36.
- IFL-2005-EekelenM #proving #strict #tool support
- Proof Tool Support for Explicit Strictness (MCJDvE, MdM), pp. 37–54.
- IFL-2005-DanvyM
- A Rational Deconstruction of Landin’s J Operator (OD, KM), pp. 55–73.
- IFL-2005-BradyH #execution #framework #static analysis
- A Dependently Typed Framework for Static Analysis of Program Execution Costs (EB, KH), pp. 74–90.
- IFL-2005-HopeH
- Accurate Step Counting (CH, GH), pp. 91–105.
- IFL-2005-PlasmeijerA #implementation
- The Implementation of iData (RP, PA), pp. 106–123.
- IFL-2005-HuchK #composition #concurrent #haskell #implementation #memory management #transaction
- A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell (FH, FK), pp. 124–141.
- IFL-2005-WeeldenSP #syntax
- Polytypic Syntax Tree Operations (AvW, SS, RP), pp. 142–159.
- IFL-2005-ShafarenkoSHGT #case study #equation #experience #implementation #lessons learnt #using
- Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences (AVS, SBS, SH, CG, KT), pp. 160–177.
- IFL-2005-GrelckHS #locality #parallel
- With-Loop Fusion for Data Locality and Parallelism (CG, KH, SBS), pp. 178–195.
- IFL-2005-Hanna #haskell
- A Document-Centered Environment for Haskell (KH), pp. 196–211.
- IFL-2005-GrelckSS #analysis #array #source code
- A Binding Scope Analysis for Generic Programs on Arrays (CG, SBS, AVS), pp. 212–230.