1. 首页
  2. 区块链
  3. 以太坊
  4. 编程语言的类型系统Type Systems for Programming Languages

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

上传者: 2020-08-30 04:25:50上传 PDF文件 773.42KB 热度 16次
这些讲义提供了类型理论在编程语言设计和实现中的作用的统一说明。 重点是将类型用作分析编程语言功能并研究其实现的工具。
下载地址
用户评论