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)

3 ×#implementation
2 ×#framework
2 ×#haskell

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.