Covers all aspects of functional programming, both theoretical and practical, to provide a coherent overview of research's most recent developments. This book features: 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. The volume brings together many leading practitioners and contextualises their contributions through a substantial introduction, appropriate overviews and summaries, and a rich bibliography and index.
The fifth installment of the ‘Trends in Functional Programming’ series was the first one to be organised outside Scotland, the homeland of functional programming that hosted previous installments of TFP and the precursor series, the ‘Scottish Functional Programming Workshops’, going back to 1989. In November 2004, Ludwig-Maximilians University,Munich was the host for TFP04. With the change of venue we had a broad spectrum of submissions both in terms of contents and nationality of the authors: in total 22 papers have been submitted for presentation, and TFP04 itself was attended by 36 participants from 13 countries.
The Symposium on Trends in Functional Programming (TFP) 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. It is designed to be a platform for novel and upcoming research, combinedwith a post-event refereeing process and a formal publication of selected papers as a book. The presentations submitted this year show a wide spectrum of current research within this scope, from theoretical work on foundations of programming languages to practical usage of functional languages in many different domains.
About the Author
Greg Michaelson is a senior lecturer at Heriot-Watt University, Edinburgh. His previous publications in this field number several books and journal articles.