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

Language Constructs and Programming

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

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

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

Last update Fri May 25 08:22:18 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page