Types and Programming Languagesthe_mit_press978-02-6216-209-897802621620982002-01-04English (United States)648HardcoverBook profileEnglish (United States)
Book · 1 edition
Types and Programming Languages
- 2002
- first published
- English
- language
- 1
- edition in English
- 648
- pages
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...
Editions
1 edition · sort: newestTypes and Programming Languagesthe_mit_press978-02-6216-209-897802621620982002-01-04English (United States)648Hardcover