|
|
|
|
| LEADER |
01273nam a2200193 a 4500 |
| 001 |
484669 |
| 005 |
20171111225913.0 |
| 008 |
961003s1995 xxk b 000 0 eng d |
| 020 |
|
|
|a 0201422794 (pbk.)
|
| 040 |
|
|
|a GrThPMO
|
| 050 |
|
|
|a QA76.62
|b .T44 1995
|
| 100 |
1 |
|
|a Thompson, Simon
|
| 245 |
1 |
|
|a Miranda : :
|b the craft of functional programming /
|c Simon Thompson.
|
| 260 |
1 |
|
|a Wokingham, England :
|b Addison-Wesley,
|c c1995.
|
| 300 |
1 |
|
|a xix, 451 p. ;
|c 24 cm.
|
| 504 |
1 |
|
|a Includes bibliographical references (p. 443-444) and index.
|
| 505 |
1 |
|
|a 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.
|
| 650 |
1 |
|
|a Functional programming (Computer science)
|
| 952 |
|
|
|a GrThPMO
|b 59afd5176c5ad17d7e59bb16
|c 952a
|d 9528
|e QA76.62.T44 1995
|t 7
|x m
|z Books
|
