编程语言的类型系统Type Systems for Programming Languages
这些讲义提供了类型理论在编程语言设计和实现中的作用的统一说明。 重点是将类型用作分析编程语言功能并研究其实现的工具。
下载地址
用户评论
