Take a photo of a barcode or cover
Read With Others
Book Information
588 pages • first pub 2004 • 1 edition
ISBN/UID: None
Format: Not specified
Language: English
Publisher: Not specified
Edition Pub Date: Not specified
Description
A thorough and accessible introduction to a range of key ideas in type systems for programming language.The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to soft...
Community Reviews
Content Warnings
588 pages • 2004
ISBN/UID: None
Format: Not specified
Language: English
Publisher: Not specified
Edition Pub Date: Not specified
Description
A thorough and accessible introduction to a range of key ideas in type systems for programming language.The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to soft...
Community Reviews
Content Warnings