Thomas Arts, Markus Mohnen
Selected Papers of the 13th International Workshop on Implementation of Functional Languages
IFL, 2001.

@proceedings{IFL-2001,
	address       = "IFL 2002 Stockholm, Sweden",
	editor        = "Thomas Arts and Markus Mohnen",
	isbn          = "3-540-43537-9",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Selected Papers of the 13th International Workshop on Implementation of Functional Languages}",
	volume        = 2312,
	year          = 2001,
}

Contents (11 items)

3 ×#proving
2 ×#array
2 ×#compilation
2 ×#correctness
2 ×#type system

IFL-2001-PenaS #type system

Sized Types for Typing Eden Skeletons (RP, CS), pp. 1–17.

IFL-2001-Kreye #array #compilation

A Compilation Scheme for a Hierarchy of Array Types (DK), pp. 18–54.

IFL-2001-Grelck #array #memory management #optimisation

Optimizations on Array Skeletons in a Shared Memory Environment (CG), pp. 36–54.

IFL-2001-MolEP #functional #proving #theorem proving

Theorem Proving for Functional Programmers (MdM, MCJDvE, MJP), pp. 55–71.

IFL-2001-ButterfieldS #comparison #correctness #paradigm #proving #source code

Proving Correctness of Programs with IO — A Paradigm Comparison (AB, GS), pp. 72–87.

IFL-2001-EncinaP #correctness #proving

Proving the Correctness of the STG Machine (AdlE, RP), pp. 88–104.

IFL-2001-Faxen

Dynamic Cheap Eagerness (KFF), pp. 105–120.

IFL-2001-PenaS01a #analysis #nondeterminism

A Polynomial-Cost Non-determinism Analysis (RP, CS), pp. 121–137.

IFL-2001-ScaifeMH #comparative #compilation #performance #platform

Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler (NS, GM, SH), pp. 138–154.

IFL-2001-Minamide #behaviour #runtime #type system

Runtime Behavior of Conversion Interpretation of Subtyping (YM), pp. 155–167.

IFL-2001-AlimarineP #programming

A Generic Programming Extension for Clean (AA, MJP), pp. 168–185.