Miranda
The Craft Of Functional Programming
Published on 31. May 1995
Book
Paperback/Softback
472 pages
978-0-201-42279-5 (ISBN)
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.
More details
Language
English
Place of publication
Harlow
United Kingdom
Publishing group
Pearson Education Limited
Target group
Professional and scholarly
Dimensions
Height: 234 mm
Width: 173 mm
Thickness: 23 mm
Weight
690 gr
ISBN-13
978-0-201-42279-5 (9780201422795)
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
Person
Simon Thompson is a Senior Lecturer in Computer Science at the University of Kent. His research and teaching interests include functional programming and logical aspects of computer science.
0201422794AB04062001
0201422794AB04062001
Content
Preface
Part I: Basic Functional Programming
Chapter 1: Introducing functional programming
Chapter 2: Basic types and simple programs
Chapter 3: Reasoning about programs
Chapter 4: Data structures: Lists
Chapter 5: Reasoning about lists
Chapter 6: Generalization
Chapter 7: Further Generalization
Chapter 8: Types in Miranda
Chapter 9: Algebraic types
Chapter 10: Case study: Huffman codes
Chapter 11: Type abstraction
Chapter 12: Lazy evaluation & Lists revisited
Chapter 13: Infinite lists
Chapter 14: Program behaviour
Appendix A. Functional and Imperative programming
Appendix B Further reading
Appendix C Glossary
Appendix D Understanding programs
Appendix E Miranda operators
Appendix F Miranda Errors
Appendix G Some Useful Functions
Bibliography
Indexng
Part I: Basic Functional Programming
Chapter 1: Introducing functional programming
Chapter 2: Basic types and simple programs
Chapter 3: Reasoning about programs
Chapter 4: Data structures: Lists
Chapter 5: Reasoning about lists
Chapter 6: Generalization
Chapter 7: Further Generalization
Chapter 8: Types in Miranda
Chapter 9: Algebraic types
Chapter 10: Case study: Huffman codes
Chapter 11: Type abstraction
Chapter 12: Lazy evaluation & Lists revisited
Chapter 13: Infinite lists
Chapter 14: Program behaviour
Appendix A. Functional and Imperative programming
Appendix B Further reading
Appendix C Glossary
Appendix D Understanding programs
Appendix E Miranda operators
Appendix F Miranda Errors
Appendix G Some Useful Functions
Bibliography
Indexng