forlag:
MIT Press
udgivelsesdato: 2002
-2
sprog:
Engelsk
antal sider: 648
overblik
A comprehensive introduction to type systems and programming languages.
