內容簡介. A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence ...
確定! 回上一頁