15. IFL 2003: Edinburgh, UK

Philip W. Trinder, Greg Michaelson, Ricardo Pena (Eds.): Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers. Lecture Notes in Computer Science 3145 Springer 2004, ISBN 3-540-23727-5 BibTeX

Language Constructs and Programming

Olaf Chitil, Dan McNeill, Colin Runciman:
Lazy Assertions. 1-19
Electronic Edition (link) BibTeX
André T. H. Pang, Manuel M. T. Chakravarty:
Interfacing Haskell with Object-Oriented Languages. 20-35
Electronic Edition (link) BibTeX
Arjen van Weelden, Rinus Plasmeijer:
A Functional Shell That Dynamically Combines Compiled Code. 36-52
Electronic Edition (link) BibTeX

Venkatesh Choppella:
Polymorphic Type Reconstruction Using Type Equations. 53-68
Electronic Edition (link) BibTeX
Clara Segura, Ricardo Pena:
Correctness of Non-determinism Analyses in a Parallel-Functional Language. 69-85
Electronic Edition (link) BibTeX
Pedro B. Vasconcelos, Kevin Hammond:
Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs. 86-101
Electronic Edition (link) BibTeX

Jost Berthold:
Dynamic Chunking in Eden. 102-117
Electronic Edition (link) BibTeX
Clemens Grelck, Sven-Bodo Scholz, Kai Trojahner:
With-Loop Scalarization - Merging Nested Array Operations. 118-134
Electronic Edition (link) BibTeX
Rafael Martínez, Ricardo Pena:
Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms. 135-151
Electronic Edition (link) BibTeX
Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer:
Generic Graphical User Interfaces. 152-167
Electronic Edition (link) BibTeX
Ulf Norell, Patrik Jansson:
Polytypic Programming in Haskell. 168-184
Electronic Edition (link) BibTeX