Study note
Types and Programming Languages
Properties
- Type
- Books
- Status
- 想读
- Domain
- Compilers / PL
- Category
- 类型系统、形式化与定理证明
- Source
- book.douban.com
- Vault note
library/books/compilers/Types-and-Programming-Languages-25272ca187c6318e.md
Summary
类型系统和程序语言理论经典教材，从无类型 lambda 演算、简单类型、类型重构、参数多态、存在类型、子类型、有界量化、递归类型、kind 和类型算子一路讲到面向对象语言特性的建模。
Highlights
每章配有习题、解答和可运行实现，理论段落由实现需求驱动，适合系统学习类型论在语言设计、编译器和安全中的作用。
Notes
Benjamin C. Pierce；2002-2-1。
Comments
Loading comments...