Hans-Wolfgang Loidl

Annotation This book presents latest research developments in the area of functional programming. The contributions in this volume cover a wide range of topics from theory, formal aspects of functional programming, graphics, and visual programming to distributed computing and compiler design. As is often the case in this community, the most prolific work comes out of the combination of theoretical work with its application on classical problems in computer science. Particular trends in this volume are: reasoning about functional programs; automated theorem proving for high-level programming languages; and language support for concurrency and distribution. The Trends in Functional Programming series is dedicated to promoting new research directions related to the field of functional programming and to investigate the relationships of functional programming with other branches of computer science.

Trends in Functional Programming

Greg Michaelson

Phil Trinder

This collection of 17 papers drawn from an August 1999 workshop held in Scotland presents advances in parallel functional programming, type systems, architectures and implementation, language applications, and theory. Topics include BSP-based cost analysis of skeletal programs, how to combine the benefits of strict and soft typing, interfacing Java with Haskell, a functional design framework for genetic algorithms, and list homomorphisms with accumulation and indexing. No index. Distributed by ISBS. c. Book News Inc.

Hans-Wolfgang Loidl

Books

Your next favorite book is out there