编程语言 MinML：一种 MINIMaL 函数语言 电子书下载

原名:Programming Languages MinML: A MINiMaL Functional Language
作品简介:类型安全。从根本上来说，两者之间存在着紧张关系。 • 表现力
类型系统，以及。 • 证明程序类型正确的困难。……