×
托夫特，疯子

多态引用的类型推断。 （英语） Zbl 0705.68028号

Inf.计算。 89，第1期，1-34页（1990年）.
摘要：如果在可以创建和更新引用（指针）的函数上使用，那么函数编程语言中用于多态类型推断的Hindley/Millner规程是不合理的。我们发现原因是一个简单的技术问题，即在商店打字中捕获自由类型变量。我们提出了一个改进的类型推理系统，并使用操作语义证明了其合理性。给定表达式e，是否可以为e推断出任何类型是可以判定的。如果可以为e推理出某个类型，则可以推断出主体类型。使用统一找到主体类型。这些思想扩展到多态异常，并已被应用于编程语言标准ML的定义中。

引用于20文件

MSC公司：

68甲15 编程语言理论
68问题55 计算理论中的语义学

关键词：

多态类型推断;函数式编程语言;可靠性;操作语义学;标准ML

软件：

毫升
PDF格式BibTeX公司 XML格式引用
\textit{M.Tofte}，信息计算。89，编号1，1-34（1990；Zbl 0705.68028）
全文： 内政部

参考文献：

[1] Aczel，P.，《归纳定义导论》，（Barwise，J.，《数学逻辑手册》（1977年），北荷兰：北荷兰阿姆斯特丹）
[2] Aczel，P.，《非Well-Founded Sets》（CSLI课堂讲稿（1988），CLSI/Stanford），第14期·Zbl 0668.04001号
[3] Damas，L.，《程序设计语言中的类型赋值》（爱丁堡大学计算机科学系CST-33-85（1985）博士论文）
[4] Damas，L。；Milner，R.，函数程序的主类型方案，（程序设计语言原理ACM研讨会论文集（1982）），207-212
[5] 戈登，M。；米尔纳，R。；Wadsworth，C.，Edinburgh LCF，（计算机科学讲义，第78卷（1979），Springer-Verlag:Springer-Verlag Berlin/Heidelberg/纽约）·Zbl 0421.68039号
[6] Hindley，R.，《组合逻辑中对象的主要类型方案》，（Trans.Amer.Math.Soc.，146（1969）），29-60·Zbl 0196.01501号
[7] Lakatos，I.（证明与反驳（1976），剑桥大学出版社：剑桥大学出版社）·兹比尔0334.00022
[8] 米尔纳，R.，《编程语言中的类型多态性理论》，计算机科学杂志。系统科学。，17, 348-375 (1978) ·Zbl 0388.68003号
[9] 米尔纳，R。；托夫特，M。；Harper，R.，（《标准ML的定义》（1990），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥）
[10] 米尔纳，R。；Tofte，M.，关系语义学中的共归纳，理论。计算。科学。（1990），出庭·Zbl 0755.68100号
[11] Plotkin，G.（操作语义的结构方法（1981），奥胡斯大学计算机科学系：丹麦奥胡斯学院计算机科学系），技术报告DAIMI-FN-19
[12] 托夫特，M.，《操作语义学和多态类型推断》（爱丁堡大学计算机科学系博士论文CST-52-88（1988））
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。