盘天下 | 免费精选资源分享

内容简介

类型理论在程序 设计 语言 的发展中起着举足轻重的作用，成熟的类型系统可以帮助完善程序设计本身，帮助运行系统检查程序中的语义错误。

要理解类型系统在程序设计语言中发挥的作用，《类型和程序设计语言》将是首选读物。《类型和程序设计语言》内容覆盖基本操作语义及其相关证明 技巧 、无类型lambda演算、简单类型系统、全称多态和存在多态、类型重构、子类型化、囿界量词、递归类型、类型算子等内容。《类型和程序设计语言》既注重内容的广度，也注重内容的深度，实用性强。在引入语言的语法对象时先举例，然后给出形式定义及基本证明，在对理论的进一步研究后给出了类型检查 算法 ，并对每种算法都给出了OCaml程序的具体实现。《类型和程序设计语言》对类型理论中的概念都有详细的阐述，为读者提供了一个进一步理论 学习 的基础。《类型和程序设计语言》内容广泛，读者可以根据自己的需要有选择地深入 阅读 。

《类型和程序设计语言》适合从事程序设计的研究人员和 开发 人员，以及程序设计语言和类型理论的研究人员阅读。可作为 计算机 专业高年级学生、研究生的学习教材。

下载地址

• 诚通网盘 提取码：8866
• 迅雷网盘 提取码：b48x

本站夸克网盘「短剧」精选资源合集：https://pan.quark.cn/s/0f27fae4301e

转载请注明出处，本文链接：https://www.80srz.com/pantx/84868.html