Scan barcode
648 pages • first pub 2002 (editions)
ISBN/UID: 9780262162098
Format: Hardcover
Language: English
Publisher: MIT Press
Publication date: 04 January 2002
Description
A comprehensive introduction to type systems and programming languages.A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they c...
Community Reviews Summary of 22 ratings
Average rating
Content Warnings
This book doesn't have any content warnings yet!
If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.
648 pages • first pub 2002 (editions)
ISBN/UID: 9780262162098
Format: Hardcover
Language: English
Publisher: MIT Press
Publication date: 04 January 2002
Description
A comprehensive introduction to type systems and programming languages.A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they c...
Community Reviews Summary of 22 ratings
Average rating
Content Warnings
This book doesn't have any content warnings yet!
If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.