×
A.J.Kfoury。;Tiuryn，J。

二阶（lambda）-演算有限秩片段的类型重建。 （英语） Zbl 0753.68022号

Inf.计算。 98，第2期，228-257（1992）.
摘要：我们证明了秩2的多态（lambda）-演算中的类型重建问题是多项式时间等价于（ML）中的类型重构问题，因此是DEXPTIME-完全的。我们还证明了秩（k）的多态（lambda）-演算中的每一个（k>2）的类型重建问题都是不可判定的。

引用于三文件

MSC公司：

68号01 软件理论的一般主题
68甲15 编程语言理论
03B40型 组合逻辑与lambda演算
65年第68季度 算法和问题复杂性分析

关键词：

类型推断;典型性;多态\（\lambda\）-演算

软件：

迷你ML;毫升
PDF格式BibTeX公司 XML格式引用
\textit{A.J.Kfoury}和\textit{J.Tiuryn}，Inf.Compute。98，第2号，228--257（1992；Zbl 0753.68022）
全文： DOI程序

参考文献：

[1] Boehm，H.-J.，部分多态性类型推断是不可判定的，（第26届IEEE研讨会论文集，计算机科学基础（1985）），339-345
[2] Clément，D.，Despeyroux，J.，Despeeyroux.，T.和Kahn在里面;Clément，D.，Despeyroux，J.，Despeeyroux.，T.和Kahn在里面
[3] Coppo，M。；Dezani-Ciancaglini，M.，λ-项的一种新型赋值，Arch。数学。Logik Grundlagenforschung，19，139（1979）·Zbl 0418.03010号
[4] Coppo，M。；Dezani-Ciancaglini，M。；Veneri，B.，可解项的函数特征，Z.数学。Logik Grundlag公司。数学。，27, 45 (1981) ·Zbl 0479.03006号
[5] Damas，L。；Milner，R.，功能程序的原理类型方案，（第九届ACM研讨会论文集，编程语言原理（1982）），207-212
[6] 财富，S。；Leivant，D。；O'Donnell，M.，《简单和二阶类型结构的表现力》，Assoc.Compute。机器。，30, 151 (1983) ·Zbl 0519.68046号
[7] Giannii，P.（多态编程语言的类型检查和类型演绎技术（1985），CMU计算机科学系），技术报告
[8] 詹尼尼，P。；Ronchi Della Rocca，S.，多态性类型学科中的类型表征，（IEEE 3rd LICS（1988）论文集），61-71
[9] 詹尼尼，P。；Ronchi Della Rocca，S.，多态性类型学科中的类型推断，（Ito，T.；Meyer，A。R.，《计算机软件理论方面国际会议论文集》。日本仙台东北大学计算机软件理论方面国际会议论文集。计算机软件理论方面国际会议论文集。《计算机软件理论方面国际会议论文集》，日本仙台东北大学，计算机科学讲义，第526卷（1991年），Springer-Verlag:Springer-Verlag Berlin/纽约），18-37·Zbl 1493.68086号
[10] Girard，J.-Y.，《巴黎第七大学博士论文》
[11] Henglein，F.，类型推理和半统一，（ACM学术研讨会论文集，LISP和函数编程（1988）），184-197
[12] Henglein，F。；Mairson，H.G.，《高阶类型lambda演算的类型推理复杂性》（第18届ACM编程语言原理研讨会论文集，1991年），119-130
[13] Hindley，J.R.，组合逻辑中对象的主要类型模式，Trans。阿默尔。数学。《社会学杂志》，146，29（1969）·Zbl 0196.01501号
[14] Kanellakis，P.C.、Mairson，H.G.和Mitchell，J.C。在里面在里面在里面;Kanellakis，P.C.、Mairson，H.G.和Mitchell，J.C。在里面在里面在里面
[15] Kfoury，A.J。；Tiuryn，J。；Urzyczyn，P.，ML的适当扩展和有效的类型分配，（第15届ACM研讨会论文集，编程语言原理（1988）），58-69
[16] Kfoury，A.J。；Tiuryn，J。；Urzyczyn，P.，《ML类型性分析》（Arnold，Proceedings，第15届代数与编程树学术讨论会，CAAP’90）。论文集，第15届代数与程序设计树学术讨论会，CAAP’90，计算机科学讲稿，第431卷（1990），Springer-Verlag:Springer-Verlag Berlin/纽约），初版出版·Zbl 0806.68016号
[17] Leis，H.，《面向对象编程语言的类型推断》，（Börger；Büning；Richter，《计算机科学逻辑第一次研讨会论文集》，《计算机学讲义》，第329卷（1987），Springer-Verlag:Springer-Verlag Berlin/纽约）·兹比尔0661.68013
[18] Leivant，D.，Polymorphic type inference，（第十届ACM研讨会论文集，编程语言原理（1983）），88-98
[19] Leivant，D.，分层多态性（扩展摘要），（第四届IEEE计算机科学逻辑研讨会论文集（1989）），39-47·Zbl 0716.68019号
[20] McCracken，N.，具有隐式类型结构的程序的类型检查，（Kahn；McQueen；Plotkin，数据类型的语义。数据类型的语义，计算机科学讲义，第173卷（1984），施普林格出版社：施普林格出版社，柏林/纽约），301-315·Zbl 0579.68009号
[21] Milner，R.，《编程中的类型多态性理论》，J.Compute。系统科学。，17, 348 (1978) ·Zbl 0388.68003号
[22] Mitchell，J.C.，《多态类型推断和遏制》，Inform。计算。，76, 211 (1988) ·Zbl 0656.68023号
[23] Mycroft，A.，《多态类型方案和递归定义》，（Paul；Robinet，国际编程研讨会，计算机科学讲稿，第167卷（1984），Springer-Verlag:Springer-Verlag Berlin/纽约）·Zbl 0548.68010号
[24] Pfenning，F.，部分多态类型推断和高阶统一，（Lisp和函数编程会议论文集（1988）），153-163
[25] Reynolds，J.，《朝向类型结构理论》（Proceedings，Colloque sur la Programmation.Proceeding，Colloje sur la Programmation，Telection Notes in Computer Science，Vol.19（1974），Springer-Verlag:Springer-Verlag Berlin/New York），408-425·Zbl 0309.68016号
[26] Tiuryn，J.，二阶λ-微积分片段中算术函数的可表示性（1988），手稿
[27] Tiuryn，J.，类型推理问题：一项调查， （Rovan，B.，《计算机科学数学基础国际研讨会论文集》。《计算机科学的数学基础国际会议论文集》，捷克斯洛伐克Banska Bystrica。《计算机学科数学基础国际讨论会论文集》《计算机科学的理论基础》，捷克斯洛伐克班斯卡·拜斯特里察，计算机科学讲义，第452卷（1990），斯普林格·弗拉格：斯普林格尔·弗拉格柏林/纽约），105-120·兹伯利0745.03013
[28] Wand，M.，简单对象的完全类型推断，（第二届IEEE计算机科学逻辑研讨会论文集（1987）），37-44，另见勘误表：简单类型的完全类型推理，在里面“第三届IEEE计算机科学逻辑研讨会论文集”，第132页
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。