édition:
MIT Press
date de publication: 2002
-2
langue:
Anglais
nombre de pages: 648
résumé
A comprehensive introduction to type systems and programming languages.