Revised Selected Papers of the 14th International Workshop on Implementation 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

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

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

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.

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.