Miranda The Craft of Functional Programming |
|
| Author:
| Thompson, Simon |
| Series title: | International Computer Science Ser. |
| ISBN: | 978-0-201-42279-5 |
| Publication Date: | Jul 1995 |
| Publisher: | Benjamin-Cummings Publishing Company
|
| Imprint: | Addison Wesley |
| Book Format: | Paperback |
| List Price: | USD $26.58USD $84.20 |
Book Description:
|
This book introduces Miranda at a level appropriate for professionals with little or no prior experience in programming. The emphasis is on the process of crafting programs, solving problems, and avoiding common errors. Using a large number of running examples and case studies, the book encourages the design of well structured, reusable software together with proofs of correctness. A tear-out card enables readers to acquire a Miranda compiler from Research Software Ltd. at a...
More Description
This book introduces Miranda at a level appropriate for professionals with little or no prior experience in programming. The emphasis is on the process of crafting programs, solving problems, and avoiding common errors. Using a large number of running examples and case studies, the book encourages the design of well structured, reusable software together with proofs of correctness. A tear-out card enables readers to acquire a Miranda compiler from Research Software Ltd. at a substantial discount off the published list price.