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