×
伊恩·麦基

丁香：一种基于线性逻辑的函数式编程语言。 （英文） Zbl 0817.68042号

J.功能。程序。 4，第4号，395-433（1994）.
摘要：我们将Abramsky的直觉线性逻辑（线性术语演算）术语赋值作为函数编程语言的基础。这是一种程序员必须明确嵌入算法的资源和控制信息的语言。我们以Milner（{mathcal W}）算法的形式给出了我们语言的类型重建算法，并描述了实现方法和使用示例。

引用于1审查
引用于7文件

MSC公司：

68甲15 编程语言理论
03B70号 计算机科学中的逻辑
03B40型 组合逻辑与lambda演算

关键词：

直觉线性逻辑

软件：

丁香花
PDF格式BibTeX公司 XML格式引用
\textit{I.Mackie}，J.Funct（J·芬克特）。程序。4，第4号，395--433（1994；Zbl 0817.68042）
全文： 内政部

参考文献：

[1] DOI:10.145/130956.130958·数字对象标识代码：10.1145/130956.130958
[2] 内政部：10.1007/BF00873993·Zbl 0806.03044号 ·doi:10.1007/BF00873993
[3] Boudol，具有多重性的lambda演算（1993）·doi:10.1007/3-540-57208-21
[4] Wadler，计算机科学数学基础（1993）
[5] Bierman，类型系统，线性和函数编程（1992）
[6] 本顿，直觉线性逻辑的术语赋值（1992）
[7] Abramsky，《声明性语言的抽象解释》（1987）
[8] Wadler，编程概念和方法（1990）
[9] 内政部：10.1016/0304-3975（93）90181-R·Zbl 0791.03003号 ·doi:10.1016/0304-3975（93）90181-R
[10] 特纳，《函数式编程的建构基础》（1991）
[11] DOI:10.1017/S0956796800000186·Zbl 0941.68542号 ·doi:10.1017/S0956796800000186
[12] Scedrov，《理论计算机科学的当前趋势》（1993）
[13] Holmström，《惰性函数语言实现研讨会论文集》第13页–（1988年）
[14] 亨德森，《函数编程：应用与实现》（1980）
[15] Girard，证据和类型7（1989）·兹比尔0671.68002
[16] Girard，《计算机科学和逻辑分类：当代数学第92卷》第69页–（1989）·doi:10.1090/conm/092/1003197
[17] 内政部：10.1016/0304-3975（87）90045-4·Zbl 0625.03037号 ·doi:10.1016/0304-3975（87）90045-4
[18] 函数编程领域（1988）
[19] 内政部：10.1145/321250.321253·Zbl 0139.12303号 ·数字对象标识代码：10.1145/321250.321253
[20] Plotkin，操作语义的结构方法（1981）
[21] Peyton Jones，函数式编程语言的实现（1987）·Zbl 0712.68017号
[22] 米尔纳，《标准ML的定义》（1990年）
[23] 米尔纳，《计算机与系统科学杂志》（1978）
[24] 内政部：10.1145/321992.321996·Zbl 0343.68014号 ·数字对象标识代码：10.1145/321992.321996
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。