书籍简介:

类型理论在程序设计语言的发展中起着举足轻重的作用，成熟的类型系统可以帮助完善程序设计本身，帮助运行系统检查程序中的语义错误。要理解类型系统在程序设计语言中发挥的作用，本书将是首选读物。本书内容覆盖基本操作语义及其相关证明技巧、无类型lambda演算、简单类型系统、全称多态和存在多态、类型重构、子类型化、囿界量词、递归类型、类型算子等内容。本书既注重内容的广度，也注重内容的深度，实用性强。在引入语言的语法对象时先举例，然后给出形式定义及基本证明，在对理论的进一步研究后给出了类型检查算法，并对每种算法都给出了OCaml程序的具体实现。

书籍规格:

书籍详细信息
书名	类型和程序设计语言站内查询相似图书
丛书名	国外计算机科学教材系列
	9787121011498 《类型和程序设计语言》pdf扫描版电子书已有网友提供资源下载链接,请点击下方按钮查看
出版地	北京	出版单位	电子工业出版社
版次	1版	印次	1
定价(元)	39.0	语种	简体中文
尺寸	16	装帧	平装
页数		印数	5000

全网搜索试读资源

书籍信息归属:

类型和程序设计语言是电子工业出版社于2005.05出版的中图分类号为 TP312 的主题关于类型学（语言学）－应用－程序语言－教材的书籍。