This book brings together leading researchers and practitioners in the field of functional programming. The work presented here covers many aspects of the field, including:

• Language and design
• Proof and translation
• Semantics and models
• Implementation
• Type systems
• Parallelism and distribution
• Programming methodologies
• Performance modelling and profiling

The editors introduce a wide-ranging set of articles, arranged by general subject area. Short overviews bring strong thematic links between individual articles covering:

• Applications
• Implementation techniques
• Memeory architectures
• Type systems

The articles themselves are drawn from the series of Scottish Functional Programming Workshops. Central Scotland has been highly influential in the development of functional programming with notable contributions that include the design, implementation and use of the SASL, Standard ML and Haskell languages.

Contents

1. Haskell : language for business systems
2. Infinite pretty-printing in eXene
3. Extending higher-order deforestation : transforming programs to eliminate even more trees
4. BSP in a lazy functional context
5. Deriving non-hierarchical process topologies
6. Load balancing in a parallel graph reducer
7. Paging in a distributed virtual memory
8. How to repair type errors automatically
9. The dual of substitution is redecoration
10. Function types in complete type interface