Table of Contents

Implementation of Functional Languages.- Lazy Assertions.- Interfacing Haskell with Object-Oriented Languages.- A Functional Shell That Dynamically Combines Compiled Code.- Polymorphic Type Reconstruction Using Type Equations.- Correctness of Non-determinism Analyses in a Parallel-Functional Language.- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs.- Dynamic Chunking in Eden.- With-Loop Scalarization – Merging Nested Array Operations.- Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms.- Generic Graphical User Interfaces.- Polytypic Programming in Haskell.