A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying progr...
Types and Programming Languages
- 作者： Benjamin C. Pierce
- 出版社： MIT Press
- 出版日期： 2002-01-04
- ISBN碼： 9780262162098
- 編號： 1001294883088480
$ 4,750 元
原價 4,750