Trends in Functional Programming - Volume 2

• making profitable use of modern parallel architectures
• designing and defining modern type systems
• performance comparisons between different functional languages
• applying functional programming languages

These key papers from the Workshop are drawn from a diversity of research areas and present a broad overview of current trends and practice in the field.

Contents

• 1 The Costs and Benefits of Cloning in a Lazy Functional Language 1
• 2 Optimizing Eden by Transformation 13
• 3 A Functional Framework for the Implementation of Genetic Algorithms: Comparing Haskell and Standard ML 27
• 4 GpH and Eden: Comparing Two Parallel Functional Languages on a Beowulf Cluster 39
• 5 Controlling Parallelism and Data Distribution in Eden 53
• 6 Parallel Heuristic Search in Haskell 65
• 7 Parallel Composition and Bulk Synchronous Parallel Functional Programming 77
• 8 A Distributed Operational Semantics for a Parallel Functional Language 89
• 9 Towards Runtime System Level Fault Tolerance for a Distributed Functional Language 103
• 10 The Space Usage Problem: An Evaluation Kit for Graph-Reduction Semantics 115
• 11 CAMLFLOW: a CAML to Data-Flow Graph Translator 129
• 12 An Application of Functional Programming: Quilting 145
• 13 Type Inference for MLj 159
• 14 Detecting Common Elements of Types 173