摘要
1 W.A.Adkins和S.H.Weintraub。 代数:通过模块理论的方法。 Springer-Verlag,1992年。 谷歌学者 2 P.N.本顿。 惰性函数程序的严格性分析。 博士论文,剑桥大学计算机实验室,1993年8月。 技术报告309。 谷歌学者 三。 G.Birkhoff。 流体动力学:逻辑、事实和相似性研究。 普林斯顿大学出版社,修订版,1960年。 谷歌学者 4 Kim B.Bruce、Roberto Di Cosmo和Giuseppe Long。 类型的可证明同构。 计算机科学中的数学结构,2(2):231-2471992年6月。 谷歌学者 交叉引用 5 J.古堡。 Inf(#rence d'unit#s physiques en ML.In P.Cointe,C.Queinnec,and B.Serpette,编辑,《法语应用杂志》,Noirmoutier,第3-20页。 INRIA,1994年。 谷歌学者 6 R.T.豪斯。 表达式类型检查扩展形式的建议。 计算机杂志,26(4):366-3741983。 谷歌学者 数字图书馆 7 A.J.肯尼迪。 维度类型。 《第五届欧洲编程研讨会论文集》,《计算机科学讲义》第788卷,第348-362页。 Springer-Verlag,1994年。 谷歌学者 数字图书馆 8 A.J.肯尼迪。 编程语言和维度。 剑桥大学计算机实验室博士论文,1995年。 可参见第391号技术报告。 谷歌学者 9 D.H.Krantz、R.D.Luce、P.Suppes和A.Tversky。 《测量基础》,第一卷,第三卷。学术出版社,1971年,1990年。 谷歌学者 10 G.D.Plotkin。 LCF被认为是一种编程语言。 理论计算机科学,5:223-2551977。 谷歌学者 交叉引用 11 J·C·雷诺兹。 类型、抽象和参数多态性。 收录于R.E.A.Mason,编辑,《信息处理》83,第513-523页,阿姆斯特丹,1983年。 Elsevier Science Publishers B.V.(北荷兰)。 谷歌学者 12 M.Rittri。多态递归下的维度推断,《函数编程语言和计算机体系结构第七届构型管理大会》,第147-159页。 ACM出版社,1995年6月。 谷歌学者 数字图书馆 13 K.西伯。 通过逻辑关系推理顺序函数。 M.P.Fourman、P.T.Johnstone和A.M.Pitts主编,《计算机科学中类别的应用:LMS研讨会论文集》,达勒姆,1991年。 剑桥大学出版社,1992年。 LMS课堂笔记系列,177。 谷歌学者 14 P.Wadler。 免费的定理! 1989年,第#届双关语程序设计语言与计算机体系结构国际研讨会论文集。 谷歌学者 数字图书馆 15 M.Wand和P.M.O'Keefe。 自动尺寸推断。 在J.-L.Lassez和G.Plotkin,编辑,《计算逻辑:纪念艾伦·罗宾逊的散文》,第479-486页。 麻省理工学院出版社,1991年。 谷歌学者 16 G.Winskel。 编程语言的形式语义:导论。 麻省理工学院出版社,1993年。 谷歌学者 数字图书馆
建议
引用和递归类型的关系参数 TLDI’09:第四届语言设计和实现类型国际研讨会会议记录 我们为具有非指示性多态性、通用引用和递归类型的调用值高阶编程语言提供了一种可能的世界语义。 该模型是编程语言的第一个相关参数模型之一。。。