All books / Book
Functional Programming: Practice and Theory
Full title: | Functional Programming: Practice and Theory |
---|---|
ISBN: | 9780201137446 |
ISBN 10: | 0201137445 |
Authors: | MacLennan, Bruce J. |
Publisher: | Addison-Wesley Professional |
Edition: | 1 |
Num. pages: | 608 |
Binding: | Paperback |
Language: | en |
Published on: | 1990 |
Read the reviews and/or buy it on Amazon.com
Synopsis
This book is more than an introduction to programming in functional languages; it introduces functional programming as a new programming paradigm. Its focus is on functional programming methodology--what it is, and how it can be used to good effect. In particular, the book shows how this methodology can be used effectively in deriving, analyzing, and proving the correctness of programs. In as much as this book emphasizes general methodology over any particular language, the author has chosen standard mathematical notation for his examples.