Trends in Functional Programming

Papers from the 3rd Scottish Functional Programming Workshop, held in August 2001 in Stirling, Scotland, cover issues related to applications, compiler optimizations, parallelism, and type theory, as well as language design, proof and transformation, semantics and models, performance modeling and profiling, and programming methodologies. Specific topics include infinite pretty-printing in eXene, deriving non-hierarchical process topologies, load balancing in a parallel graph reducer, and function types in complete type inference. Distributed by ISBS, the book contains no subject index. Distributed in the US by ISBS.
Annotation c. Book News, Inc., Portland, OR (booknews.com)

An exploration of research in functional programming. Topics covered include the exploitation of parallelism, compiler optimization techniques and research in type theory. Practice is not ignored, and there are papers on topics such as how to automatically repair type errors.