Implementation of functional languages. 15th international workshop, IFL 2003, Edinburgh, UK, September 8--11, 2003. Revised papers. (Q1763053)

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