Type inference for polymorphic reference

【文件属性】：

文件名称：Type inference for polymorphic reference

文件大小：1.68MB

文件格式：PDF

更新时间：2018-05-17 15:01:37

类型理论

关于类型推断理论的论文，主要可用于scala这种带类型推断的静态语言。