出版社:
MIT Press
发行时间: 2002
-2
语言:
英语
页数: 648
简介
A comprehensive introduction to type systems and programming languages.
