editora:
MIT Press
data de publicação: 2002
-2
idioma:
Inglês
número de páginas: 648
visão geral
A comprehensive introduction to type systems and programming languages.
