出版社:
MIT Press
發行時間: 2002
-2
語言:
英語
頁數: 648
簡介
A comprehensive introduction to type systems and programming languages.
