Markus Mohnen, Pieter W. M. Koopman
Selected Papers of the 12th International Workshop on Implementation of Functional Languages
IFL, 2000.

@proceedings{IFL-2000,
	address       = "Aachen, Germany",
	editor        = "Markus Mohnen and Pieter W. M. Koopman",
	isbn          = "3-540-41919-5",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Selected Papers of the 12th International Workshop on Implementation of Functional Languages}",
	volume        = 2011,
	year          = 2000,
}

Contents (15 items)

5 ×#functional
3 ×#haskell
3 ×#implementation
3 ×#programming
2 ×#analysis
2 ×#bound
2 ×#distributed
2 ×#parallel
2 ×#source code

IFL-2000-PenaS #analysis #nondeterminism

Non-determinism Analysis in a Parallel-Functional Language (RP, CS), pp. 1–18.

IFL-2000-SargeantKW #functional #parallel #source code

Exploiting Implicit Parallelism in Functional Programs with SLAM (JS, CCK, IW), pp. 19–36.

IFL-2000-ArtsN #erlang #implementation #verification

Verifying Generic Erlang Client-Server Implementations (TA, TN), pp. 37–52.

IFL-2000-PointonTL #design #distributed #haskell #implementation

The Design and Implementation of Glasgow Distributed Haskell (RFP, PWT, HWL), pp. 53–70.

IFL-2000-KlusikLPR #implementation #parallel #programming

Implementation Skeletons in Eden: Low-Effort Parallel Programming (UK, RL, SP, FR), pp. 71–88.

IFL-2000-HanusHN #declarative #multi #named #object-oriented

ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry (MH, FH, PN), pp. 89–106.

IFL-2000-HuchN #distributed #haskell #programming

Distributed Programming in Haskell with Ports (FH, UN), pp. 107–121.

IFL-2000-Hammond #behaviour #bound #concurrent

The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour (KH), pp. 122–139.

IFL-2000-GustavssonS #analysis #bound #morphism #polymorphism #type system

A Usage Analysis with Bounded Usage Polymorphism and Subtyping (JG, JS), pp. 140–157.

IFL-2000-ZornerKEP #functional

Polygonizing Implicit Surfaces in a Purely Functional Way (THGZ, PWMK, MCJDvE, MJP), pp. 158–175.

IFL-2000-ChitilRW #comparative #debugging #evaluation #functional #lazy evaluation #source code

Freja, Hat and Hood — A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs (OC, CR, MW), pp. 176–193.

IFL-2000-AchtenJ #haskell #library #migration

Porting the Clean Object I/O Library to Haskell (PA, SLPJ), pp. 194–213.

IFL-2000-SchroederK #functional

Organizing Speculative Computations in Functional Systems (RS, WEK), pp. 214–230.

IFL-2000-Grelck #array #effectiveness #layout

Improving Cache Effectiveness through Array Data Layout Manipulation in SAC (CG), pp. 231–248.

IFL-2000-ODonnell #functional #programming #semantics

The Collective Semantics in Functional SPMD Programming (JO), pp. 249–266.