An edition of Type theory and functional programming (1991)

Type theory and functional programming

by

  • 2 Want to read
Cover of: Type theory and functional programming by Simon Thompson, Simon Thompson
Read

My Reading Lists:

Create a new list
Notes
  • 2 Want to read
Notes

Download Options

Check nearby libraries

Buy this book

Last edited by Open Library Bot
April 28, 2010 | History
Edit
An edition of Type theory and functional programming (1991)

Type theory and functional programming

by

  • 2 Want to read

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Addison-Wesley
Language
English
Pages
372

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Type theory, Functional programming (Computer science)
Edition Availability
Cover of: Type theory and functional programming
Type theory and functional programming
1991, Addison-Wesley
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. 347-357) and index.

Published in
Wokingham, England, Reading, Mass
Series
International computer science series

Classifications

Dewey Decimal Class
511/.3
Library of Congress
QA76.62 .T46 1991

The Physical Object

Pagination
xv, 372 p. :
Number of pages
372

Edition Identifiers

Open Library
OL1534456M
Internet Archive
typetheoryfuncti00thom
ISBN 10
0201416670
LCCN
91012295
OCLC/WorldCat
182873203
LibraryThing
1523658

Work Identifiers

Work ID
OL2003662W

Source records

Internet Archive item record
Internet Archive item record
Library of Congress MARC record
marc_columbia MARC record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON
April 28, 2010 Edited by Open Library Bot Linked existing covers to the work.
February 2, 2010 Edited by WorkBot add more information to works
December 9, 2009 Created by WorkBot add works page