Miranda : : the craft of functional programming /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Wokingham, England :
Addison-Wesley,
c1995.
|
| Subjects: |
Table of Contents:
- Pt. I. Basic Functional Programming
- Introducing functional programming
- Basic types and simple programs
- Reasoning about programs
- Data structures: Lists
- Reasoning about lists
- Pt. II. Abstraction
- Generalization
- Further generalization
- Types in Miranda
- Pt. III. Larger-scale Programming
- Algebraic types
- Case study: Huffman codes
- Type abstraction
- Lazy evaluation and lists revisited
- Infinite lists
- Program behaviour.
- App. A Functional and imperative programming
- App. D Understanding programs
- App. E Miranda operators
- App. F Miranda errors.