Clemens Grelck, Frank Huch, Greg Michaelson, Philip W. Trinder
Revised Selected Papers of the 16th International Workshop on Implementation and Application of Functional Languages
IFL, 2004.

@proceedings{IFL-2004,
	address       = "Lübeck, Germany",
	editor        = "Clemens Grelck and Frank Huch and Greg Michaelson and Philip W. Trinder",
	isbn          = "3-540-26094-3",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the 16th International Workshop on Implementation and Application of Functional Languages}",
	volume        = 3474,
	year          = 2004,
}

Contents (13 items)

4 ×#functional
2 ×#reduction
2 ×#source code
2 ×#user interface
2 ×#virtual machine

IFL-2004-Cristobal-SalasCRG #message passing #program transformation #source code

Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations (ACS, AC, ERA, JLG), pp. 1–16.

IFL-2004-Achten #user interface

The Feasibility of Interactively Probing Quiescent Properties of GUI Applications (PA), pp. 17–34.

IFL-2004-EversAK #functional #programming #user interface #visual notation

A Functional Programming Technique for Forms in Graphical User Interfaces (SE, PA, JK), pp. 35–51.

IFL-2004-Danvy

A Rational Deconstruction of Landin’s SECD Machine (OD), pp. 52–71.

IFL-2004-Gast #data flow #fault #ml

Explaining ML Type Errors by Data Flows (HG), pp. 72–89.

IFL-2004-Trancon-y-Widemann #evaluation #recursion #strict #virtual machine

V->M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions (BTyW), pp. 90–107.

IFL-2004-AntoyHLT #functional #logic #virtual machine

A Virtual Machine for Functional Logic Computations (SA, MH, JL, APT), pp. 108–125.

IFL-2004-Chitil

Source-Based Trace Exploration (OC), pp. 126–141.

IFL-2004-BentonKLR #reduction

Shrinking Reductions in SML.NET (NB, AK, SL, CVR), pp. 142–159.

IFL-2004-SchreurP

Dynamic Construction of Generic Functions (RWS, MJP), pp. 160–176.

IFL-2004-DowseBE #concurrent #functional #reasoning

Reasoning About Deterministic Concurrent Functional I/O (MD, AB, MCJDvE), pp. 177–194.

IFL-2004-ShafarenkoS

General Homomorphic Overloading (AVS, SBS), pp. 195–210.

IFL-2004-StefanovS #effectiveness #functional #reduction #source code

Simple, Effective Code-Size Reduction for Functional Programs (ES, AMS), pp. 211–225.