本杰明·皮尔斯。（编辑） 类型和编程语言的高级主题。 （英语） Zbl 1080.68009号 马萨诸塞州剑桥：麻省理工学院出版社（ISBN 0-262-16228-8）。xiii，574页。(2005). 出版商描述：编程语言类型系统的研究现在涉及计算机科学的许多领域，从语言设计和实现到软件工程、网络安全、数据库，以及并发和分布式系统的分析。本书介绍了该领域的关键观点，并附有专家对每个主题的贡献。涵盖的主题包括精确的类型分析，它扩展了简单类型系统，使其更好地掌握系统的运行时行为；低级语言的类型系统；类型在计算机程序推理中的应用；类型理论作为复杂模块系统设计的框架；以及ML类型推理的高级技术。此卷建立在B.穿孔《类型和编程语言》，马萨诸塞州剑桥：麻省理工学院出版社（2002；兹比尔0995.68018)]; 熟悉操作语义和类型系统的基本符号和技术的读者应该可以阅读大部分章节&这是前半本书中的内容。这本书可以在课堂上使用，也可以作为专业人士的资源。大多数章节都包括练习，从快速理解检查到具有挑战性的扩展，其中很多都有解决方案。本卷的文章不会单独编入索引。 引用于1审查引用于32文件 MSC公司： 68甲15 编程语言理论 68问题55 计算理论中的语义学 68-06 与计算机科学有关的会议记录、会议、收藏等 引文：Zbl 0995.68018号 软件：ALF公司；清洁；Coq公司 PDF格式BibTeX公司 XML格式引用 \textit{B.C.Pierce}（编辑），类型和编程语言的高级主题。马萨诸塞州剑桥：麻省理工学院出版社（2005；Zbl 1080.68009）