type systems and programming language

【文件属性】：

文件名称：type systems and programming language

文件大小：1.56MB

文件格式：PDF

更新时间：2018-10-29 03:51:47

类型系统

程序语言的类型理论。带类型lambda演算，类型系统，类型推导以及类型系统在程序语言中的应用。