zbMATH — the first resource for mathematics

Implementation of functional languages. 15th international workshop, IFL 2003, Edinburgh, UK, September 8–11, 2003. Revised papers. (English) Zbl 1056.68017
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]

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68N18 Functional programming and lambda calculus
00B25 Proceedings of conferences of miscellaneous specific interest
Haskell; Maple
Full Text: DOI