Revised Selected Papers of the 17th International Workshop on Implementation and Application of Functional Languages
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Andrew Butterfield, Clemens Grelck, Frank Huch
Revised Selected Papers of the 17th International Workshop on Implementation and Application of Functional Languages
IFL, 2005.

FP
DBLP
Scholar
Full names Links ISxN
@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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.