Selected Papers of the 13th 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

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

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

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.

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.