Publisher's Synopsis
This book on functional programming, reflecting current research being undertaken by the Declarative Language Architecture Group at Imperial College, shows how functional programming languages can result in concise and formally-correct programs which are elegant, and which can easily exploit the parallelism of multi-processor machines.;The book is divided into three sections which respectively cover language, theory and architecture.