Implementation of functional languages. 15th international workshop, IFL 2003, Edinburgh, UK, September 8–11, 2003. Revised papers. (English) Zbl 1056.68017

Trinder, Phil (ed.); Michaelson, Greg (ed.); Peña, Ricardo (ed.)

Lecture Notes in Computer Science 3145. Berlin: Springer (ISBN 3-540-23727-5/pbk). ix, 185 p. (2004).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. The preceding workshop has been announced (see Zbl 1049.68012).
Indexed articles:
Chitil, Olaf; McNeill, Dan; Runciman, Colin, Lazy assertions, 1-19 [Zbl 1108.68346]
Pang, André T. H.; Chakravarty, Manuel M. T., Interfacing Haskell with object-oriented languages, 20-35 [Zbl 1108.68352]
van Weelden, Arjen; Plasmeijer, Rinus, A functional shell that dynamically combines compiled code, 36-52 [Zbl 1108.68358]
Choppella, Venkatesh, Polymorphic type reconstruction using type equations, 53-68 [Zbl 1108.68347]
Segura, Clara; Peña, Ricardo, Correctness of non-determinism analyses in a parallel-functional language, 69-85 [Zbl 1108.68354]
Vasconcelos, Pedro B.; Hammond, Kevin, Inferring cost equations for recursive, polymorphic and higher-order functional programs, 86-101 [Zbl 1108.68356]
Berthold, Jost, Dynamic chunking in Eden, 102-117 [Zbl 1108.68345]
Grelck, Clemens; Scholz, Sven-Bodo; Trojahner, Kai, With-loop scalarization-merging nested array operations, 118-134 [Zbl 1108.68348]
Martínez, Rafael; Peña, Ricardo, Building an interface between Eden and Maple: A way of parallelizing computer algebra algorithms, 135-151 [Zbl 1108.68350]
Achten, Peter; van Eekelen, Marko; Plasmeijer, Rinus, Generic graphical user interfaces, 152-167 [Zbl 1108.68344]
Norell, Ulf; Jansson, Patrik, Polytypic programming in Haskell, 168-184 [Zbl 1108.68351]

MSC:

68-06	Proceedings, conferences, collections, etc. pertaining to computer science
68N18	Functional programming and lambda calculus
00B25	Proceedings of conferences of miscellaneous specific interest

Software:

Haskell; Maple