作者: Pierce, Benjamin C. (EDT)
ISBN: 9780262162289
页数: 574
定价: USD 65.00
出版社: The MIT Press
装帧: Hardcover
出版年: 2004-12-23
页数: 574
定价: USD 65.00
出版社: The MIT Press
装帧: Hardcover
出版年: 2004-12-23
简介 · · · · · ·
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 analysis of concurrent and distributed systems. This book offers accessible introductions to key ideas in the field, with contributions by experts on each topic.<br /> <br /> The topics ... (展开全部)
豆瓣成员常用的标签(共8个) · · · · · ·
喜欢读"Advanced Topics in Types and Programming Languages"的人也喜欢: · · · · · ·
豆瓣成员最受欢迎的书评 (1条) · · · · · ·
在哪儿买这本书? · · · · · ·
- > 点这儿转让 有16人想读,手里有一本闲着?
以下豆列推荐 · · · · · ·
- learn about computer science (来自: bobo@无视)
- 理论计算机科学——程序设计语言 (来自: 网络流)
- Functional Programming (来自: Daniel)
- 语言编译 (来自: weiky)
- 语义和类型系统 (来自: Yingfeng)
谁读这本书?
