Miranda : the craft of functional programming / Simon Thompson.
Miranda : the craft of functional programming / Simon Thompson.
About this item
Full title
Author / Creator
Publisher
Wokingham, England ; Reading, Mass. : Addison-Wesley Pub. Co., c1995.
Call Numbers
T0372981
Record Identifier
MMS ID
Language
English
Formats
Physical Description
Physical content
xix, 451 p. ; 24 cm.
Contents
Pt. I. Basic Functional Programming. 1. Introducing functional programming. 2. Basic types and simple programs. 3. Reasoning about programs. 4. Data structures: Lists. 5. Reasoning about lists -- Pt. II. Abstraction. 6. Generalization. 7. Further generalization. 8. Types in Miranda -- Pt. III. Large...
Publication information
Publisher
Wokingham, England ; Reading, Mass. : Addison-Wesley Pub. Co., c1995.
Place of Publication
England
Date Published
c1995.
Subjects
More information
Alternative Titles
Full title
Miranda : the craft of functional programming / Simon Thompson.
Authors, Artists and Contributors
Author / Creator
Notes
General note
International computer science series.
Includes bibliographical references (p. 443-444) and index.
Transferred from N005.133/248.
Contextual Information
Date Copyright
c1995.
Identifiers
Primary Identifiers
Call Numbers
T0372981
Record Identifier
74VMQ88GR0ab
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/74VMQ88GR0ab
Other Identifiers
ISBN
0201422794 (pbk.)
9780201422795 (pbk.)
DDC
005.133
MMS ID
991000564719702626
