Kevin Hammond - Böcker

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 transformationsemantics and modelsimplementationtype systemsparallelism and distributionperformance modelling and profilingprogramming methodologiesThe Editors introduce a wide-ranging set of articles, arranged by general subject area. Short overviews bring strong thematic links between individual articles, including:applicationsimplementation techniquesparallel systems and programmingmemory architecturestype systemsThe articles themselves are drawn from the series of Scottish Functional Programming Workshops. Central Scotland has been highly influential in the development of functional programming with notable contributions that include 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.

This is a survey of research trends in parallel functional programming. The text is divided into two sections: the first section gives comprehensive introductions to key issues such as: foundations, programming constructs, proof, architectures, and implementations; the second comprises shorter summaries of research areas which are either of particular interest at the moment, or which promise to provide key developments in the near future. Topics covered here include: coordination languages, performance monitoring data flow programming explicit parallelism BSP and cost modelling. Contributions have been commissioned by key researchers and practitioners in the area, including several from the US and Canada where this is an area of increasing interest.

The Glasgow Functional Programming Workshops have been held annually since 1988, and provide an invaluable opportunity for the discussion of unresolved research issues, and for the presentation of current results. This volume is based on the proceedings of the 1993 workshop, which was held in Ayr, Scotland, from 5 - 7 July 1993. The papers cover the spectrum of functional programming research, including implementation, performance, parallelism, algorithms, and semantics. They reflect the current trend towards emphasis on practical issues, and also give several examples of how theoretical research can be successfully applied to practical programming. Among the actual topics covered are: projection-based termination analysis; deterministic concurrency; using strictness in the STG machine; distributed garbage collection of cyclic structures; bidirectional fold and scan; separating interaction; time profiling a lazy functional compiler; and solving recursive domain equations by term rewriting.

The Glasgow Functional Programming Group is the largest research centre of its kind in the UK, and its work has attained international recognition. This volume contains papers presented at the seventh workshop, which was held in Ayr, Scotland, from 12-14 September 1994. The papers include new research results, ranging from theoretical work in bisimilarity and computer algebra to practical work on a cervical smear scanning system written in a purely functional language. A significant number of papers also cover concurrency, parallelism, and compilation techniques for functional languages.

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Implementation of Functional Languages, IFL'97, held in St. Andrews, Scotland, UK, in September 1997.The 21 revised full papers presented were selected from the 34 papers accepted for presentation at the workshop during a second round of thorough a-posteriori reviewing. The book is divided in sections on compilation, types, benchmarking and profiling, parallelism, interaction, language design, and garbage collection.