1 / 1
- 2002
- year of publication
- 648
- pages
- English (United States)
- language
- Hardcover
- cover
- Publisher
- the_mit_press
- ISBN-13
- 978-02-6216-209-8
- EAN
- 9780262162098
- Publication date
- 2002-01-04
- Book
- Types and Programming Languages · 1 edition
The publisher on this edition
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...