Casa editrice:
MIT Press
data di pubblicazione: 2002
-2
Lingua:
Inglese
Numero di pagine: 648
Sinossi
A comprehensive introduction to type systems and programming languages.