编程语言的类型系统Type Systems for Programming Languages

【文件属性】：

文件名称：编程语言的类型系统Type Systems for Programming Languages

文件大小：773KB

文件格式：PDF

更新时间：2022-11-17 20:42:46

计算机科学

这些讲义提供了类型理论在编程语言设计和实现中的作用的统一说明。 重点是将类型用作分析编程语言功能并研究其实现的工具。