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 design 
proof and transformation
semantics and models
implementation
applications
type systems
parallelism and distribution
performance modelling and profiling
programming methodologies


The Editors provide a substantial introduction to a wide ranging set of papers, arranged by subject area. Appropriate overviews and summaries bring strong thematic links between chapters and sections covering:





Parallel Systems and Programming
Type Systems
Architectures and Implementations
Applications
Theory


The articles themselves are drawn from the First Scottish Functional Programming Workshop, held in Stirling in 1999. Central Scotland has been very influential in the development of functional programming, with notable contributions including the design, implementation and use of the SASL, Standard ML and Haskell languages. 



The Workshops provide an international forum, linking a vibrant Scottish core with the wider community. As a product of this forum, the book brings a broad perspective on current research trends and practice in the field.