Advanced Topics in Types and Programming Languages
作者:
Benjamin C·Pierce
出版社: The MIT Press
出版年: 2004-12-23
页数: 608
定价: USD 74.00
装帧: Hardcover
ISBN: 9780262162289
出版社: The MIT Press
出版年: 2004-12-23
页数: 608
定价: USD 74.00
装帧: Hardcover
ISBN: 9780262162289
内容简介
The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and ana...
评价“Advanced Topics in Types and Programming Languages”