Research Catalog
Type theory & functional programming
- Title
- Type theory & functional programming / Simon Thompson.
- Author
- Thompson, Simon.
- Publication
- Wokingham, Berkshire, England ; Boston, Mass. : Addison-Wesley, 1991.
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Request in advance | QA76.62 .T46 1991 | Off-site |
Holdings
Details
- Description
- xv, 372 pages; 24 cm
- Alternative Title
- Type theory and functional programming.
- Subjects
- Bibliography (note)
- Includes bibliographical references (p.347-357) and index.
- ISBN
- 0201416670
- LCCN
- 91012295
- OCLC
- 182873203
- ocn182873203
- Owning Institutions
- Columbia University Libraries