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
Content Warnings
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
Content Warnings