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

StatusFormatAccessCall NumberItem Location
TextRequest in advance QA76.62 .T46 1991Off-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