publishing house:
MIT Press
publication date: 2002
-2
language:
English
number of pages: 648
overview
A comprehensive introduction to type systems and programming languages.
