
The Functional Approach to Programming
Translation by K. Callaway
Cambridge University Press
Published on 29. October 1998
Book
Paperback/Softback
460 pages
978-0-521-57681-9 (ISBN)
Description
A programming course should concentrate as much as possible on a program's logical structure and design rather than simply show how to write code. The Functional Approach to Programming achieves this aim because logical concepts are evident and programs are transparent so can be written quickly and cleanly. In this book the authors emphasise the notions of function and function application which relate programming to familiar concepts from mathematics and logic. They introduce functional programming via examples but also explain what programs compute and how to reason about them. They show how the ideas can be implemented in the Caml language, a dialect of the ML family, and give examples of how complex programs from a variety of areas (such as arithmetic, tree algorithms, graph algorithms, text parsing and geometry) can be developed in close agreement with their specifications. Many exercises and examples are included throughout the book; solutions are also available.
Reviews / Votes
"...a valuable contribution to programming practice...Cousineau and Mauny convincingly demonstrate the elegance and conciseness of the functional approach." Computing ReviewsMore details
Language
English
Place of publication
Cambridge
United Kingdom
Target group
College/higher education
Product notice
Paperback (trade)
Illustrations
55 Line drawings, unspecified
Dimensions
Height: 246 mm
Width: 189 mm
Thickness: 25 mm
Weight
883 gr
ISBN-13
978-0-521-57681-9 (9780521576819)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions

Guy Cousineau | Michel Mauny
The Functional Approach to Programming
E-Book
07/2013
1st Edition
Cambridge University Press
€67.99
Available for download

Guy Cousineau | Michel Mauny
The Functional Approach to Programming
Book
10/1998
Cambridge University Press
€99.04
Article exhausted; check for reprint

Guy Cousineau
Functional Approach to Programming
E-Book
10/1998
Cambridge University Press
€52.99
Available for download
Previous edition

Guy Cousineau | Michel Mauny
The Functional Approach to Programming
Book
10/1998
Cambridge University Press
€99.04
Article exhausted; check for reprint
Persons
Author
Ecole Normale Superieure, Paris
Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt
Translation
Content
Introduction; Part I. Basic Principles: 1. Expressions; 2. Data structures; 3. Semantics; 4. Imperative aspects; Part II. Applications: 5. Exact arithmetic; 6. Formal terms, filtering, and unification; 7. Balanced trees; 8. Graphs and problem resolution; 9. Syntactic analysis; 10. Geometry and designs; Part III. Implementation: 11. Evaluation; 12. Compilation; 13. Types and typing; Appendix 1. Help for Caml Light 0.6; Appendix 2. How to Get Caml, MLgraph, and the examples; Bibliography; Index.