Trends in Functional Programming

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 • parallelismand 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.

Parallel systems and programming

• Bypassing of Channels in Eden
  
• From GranSim to Paradise
  
• BSP-based Cost analysis of Skeletal Programs
  
• High Level BSP Programming: BSML and BSλ
  

• Deep Type for Mobile Functions
  
• Generalising Techniques for Type Debugging
  
• Explaining Type Errors by Finding the Source of a Type Conflict
  
• How to Combine the Benefits of Stricts and Soft Typing

• Interfacing Java with Haskell
  
• An Abstract Machine for Memory Management
  
• The MT Architecture and Allocation Algorithm
  
• ZG-machine: a Space-Efficient G-machine
  

• A Functional Design Framework for Genetic Algorithms
  
• An Industrial use of FP: A Tool for Generating Test Scripts from System Specifications
  

• List Homomorphisms with Accumulation and Indexing
  
• Reuse by Program Transformation
  
• An Abstract Machine for Parallel Lazy Evaluation