Ricardo Peña, Thomas Arts
Revised Selected Papers of the 14th International Workshop on Implementation of Functional Languages
IFL, 2002.

@proceedings{IFL-2002,
	address       = "Madrid, Spain",
	editor        = "Ricardo Peña and Thomas Arts",
	isbn          = "3-540-40190-3",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the 14th International Workshop on Implementation of Functional Languages}",
	volume        = 2670,
	year          = 2002,
}

Contents (15 items)

4 ×#functional
2 ×#automation
2 ×#haskell
2 ×#named
2 ×#parallel

IFL-2002-HammondM #behaviour #predict

Predictable Space Behaviour in FSM-Hume (KH, GM), pp. 1–16.

IFL-2002-AchtenAP

When Generic Functions Use Dynamic Values (PA, AA, MJP), pp. 17–33.

IFL-2002-Bagwell #functional #performance

Fast Functional Lists (PB), pp. 34–50.

IFL-2002-ArkelGS

Fusion in Practice (DvA, JHGvG, SS), pp. 51–67.

IFL-2002-DowseSB #haskell #proving

Proving Make Correct: I/O Proofs in Haskell and Clean (MD, GS, AB), pp. 68–83.

IFL-2002-KoopmanATP #automation #named #testing

Gast: Generic Automated Software Testing (PWMK, AA, JT, MJP), pp. 84–100.

IFL-2002-VervoortP #functional #lazy evaluation

Lazy Dynamic Input/Output in the Lazy Functional Language Clean (MV, MJP), pp. 101–117.

IFL-2002-EllmenreichL #named #parallel #programming #refinement

PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines (NE, CL), pp. 118–133.

IFL-2002-LindahlS #compilation #float

Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment (TL, KFS), pp. 134–149.

IFL-2002-Trancon-y-Widemann #functional

Stacking Cycles: Functional Transformation of Circular Data (BTyW), pp. 150–164.

IFL-2002-ChitilRW #haskell

Transforming Haskell for Tracing (OC, CR, MW), pp. 165–181.

IFL-2002-GrelckS

Axis Control in SAC (CG, SBS), pp. 182–198.

IFL-2002-BoisLT #concurrent #graph #migration #parallel #reduction #thread

Thread Migration in a Parallel Graph Reducer (ARDB, HWL, PWT), pp. 199–214.

IFL-2002-WeeldenP #functional #operating system #towards

Towards a Strongly Typed Functional Operating System (AvW, MJP), pp. 215–231.

IFL-2002-PortilloHLV #automation #cost analysis #using

Cost Analysis Using Automatic Size and Time Inference (ÁJRP, KH, HWL, PBV), pp. 232–248.