1. 首页
  2. 编程语言
  3. 其他

作者: 皮尔斯 出版社: 电子工业出版社 原作名: Types and Programming Languages 出版年: 2005年05月 页数: 422 页 装帧: 平装 丛书: 国外计算机科学教材系列 ISBN: 9787121011498 类型理论在程序设计语言的发展中起着举足轻重的作用,成熟的类型系统可以帮助完善程序设计本身,帮助运行系统检查程序中的语义错误。, 要理解类型系统在程序设计语言中发挥的作用,本书将是首选读物。本书内容覆盖基本操作语义及其相关证明技巧、无类型lambda演算、简单类型系统、全称多态和存在多态、类型重构、子类型化、囿界量词、递归类型、类型算子等内容。本书既注重内容的广度,也注重内容的深度,实用性强。在引入语言的语法对象时先举例,然后给出形式定义及基本证明,在对理论的进一步研究后给出了类型检查算法,并对每种算法都给出了OCaml程序的具体实现。本书对类型理论中的概念都有详细的阐述,为读者提供了一个进一步理论学习的基础。本书内容广泛,读者可以根据自己的需要有选择地深入阅读。, 本书适合从事程序设计的研究人员和开发人员,以及程序设计语言和类型理论的研究人员阅读。可作为计算机专业高年级学生 、研究生的学习教材。

本页地址:http://qcsdn.com/q/a/49770.html
更多
更多相似下载
类型
pdf
下载
311次
大小
36.05MB
时间
2018-12-07

下载地址

用户评论

QCSDN网友 1 year ago

经典,包罗万象

QCSDN网友 1 year ago

书签详细,很清晰