类型和程序设计语言

Types and Programming Languages

《类型和程序设计语言》Types and Programming Languages（皮尔斯，2002）。电子工业出版社。豆瓣 7.5 分。HN 上 132 人推荐。类型系统与编程语言理论的标准教材。