Elements of Functional Languages

This book takes as its central theme the contention that functional languages are more appropriate than conventional imperative languages for addressing the important concerns of software science. The book therefore explores, in detail, the theme of program specification, verification and transformation along with semantics, implementation, languages design and programming in order to provide a comprehensive account of these programming languages and an explanation for the intense interest they are generating in the research community. It contains many exercises, suggestions for project work, extensive bibliographic notes and many references to current research, and thus provides a useful guide to both current and historical literature. The book will be of interest to final year undergraduates, postgraduates and members of the wider computing community with an interest in software science.