Philip W. Trinder, Greg Michaelson, Ricardo Peña
Revised Papers of the 15th International Workshop on Implementation of Functional Languages
IFL, 2003.

@proceedings{IFL-2003,
	address       = "Edinburgh, Scotland, United Kingdom",
	editor        = "Philip W. Trinder and Greg Michaelson and Ricardo Peña",
	isbn          = "3-540-23727-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Papers of the 15th International Workshop on Implementation of Functional Languages}",
	volume        = 3145,
	year          = 2003,
}

Contents (11 items)

2 ×#equation
2 ×#functional
2 ×#haskell
2 ×#polymorphism

IFL-2003-ChitilMR #lazy evaluation

Lazy Assertions (OC, DM, CR), pp. 1–19.

IFL-2003-PangC #haskell #object-oriented

Interfacing Haskell with Object-Oriented Languages (ATHP, MMTC), pp. 20–35.

IFL-2003-WeeldenP #functional

A Functional Shell That Dynamically Combines Compiled Code (AvW, RP), pp. 36–52.

IFL-2003-Choppella #equation #polymorphism #re-engineering #using

Polymorphic Type Reconstruction Using Type Equations (VC), pp. 53–68.

IFL-2003-SeguraP #analysis #correctness #nondeterminism

Correctness of Non-determinism Analyses in a Parallel-Functional Language (CS, RP), pp. 69–85.

IFL-2003-VasconcelosH #equation #functional #higher-order #polymorphism #recursion #source code

Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs (PBV, KH), pp. 86–101.

IFL-2003-Berthold

Dynamic Chunking in Eden (JB), pp. 102–117.

IFL-2003-GrelckST #array

With-Loop Scalarization — Merging Nested Array Operations (CG, SBS, KT), pp. 118–134.

IFL-2003-MartinezP #algebra #algorithm #interface

Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms (RMT, RP), pp. 135–151.

IFL-2003-AchtenD #user interface #visual notation

Generic Graphical User Interfaces (PA, MCJDvE, RP), pp. 152–167.

IFL-2003-NorellJ #haskell #programming

Polytypic Programming in Haskell (UN, PJ), pp. 168–184.