Intellect

Selected submissions from the first Scottish Functional Programming Workshop, August 1999, well integrated and carefully edited to provide a coherent overview of research's most recent developments.

The book's scope covers all aspects of functional programming, both theoretical and practical,and highlights:

• language design
• proof and transformation
• semantics and models
• implementation
• applications
• type systems
• parallelism and distribution
• performance modelling and profiling
• education
• real time and reactive programming
• programming methodologies

Central Scotland has been very influential in the development of functional programming and is the base for several internationally recognised research groups whose notable contributions include the design, development and implementation of SASL, Standard ML and Haskell.
This volume has been able to bring together many of these leading practitioners, and their contributions are contextualised by a substantial introduction, appropriate overviews and summaries, and unified in the bibliography and index.