×
马丁·海兰德;保罗·布莱恩·利维;戈登·普洛金;权力，约翰

将代数效应与延续相结合。 （英语） Zbl 1111.68067号

西奥。计算。科学。 375，编号1-3，20-40（2007）.
摘要：我们考虑代数计算效应的自然组合，例如副作用、异常、交互式输入/输出以及带有延续的不确定性。延拓不是代数效应，而是由和和和张量延拓给出的代数效应的先前发展组合，努力包括各种代数效应与延拓的常用组合。延续也产生了第三种组合，通过将延续单子变换应用于代数效果而得到。我们研究了和和张量从代数效应扩展到任意单元的程度，以及Felleisen等人的\（\mathcal C\）算子从连续扩展到其与代数效应的组合的程度。为了做到这一点，我们使用了杜布克对强单体的刻画，从而丰富了大Lawvere理论。

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

理学硕士：

68问题55 计算理论中的语义学
2005年第68季度 计算模型（图灵机等）（MSC2010）
2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）
18立方厘米 理论（例如代数理论）、结构和语义
18立方厘米 单子（=标准结构，三元组或三元组），单子代数，单子的同调函子和派生函子
18个C20 单体的Eilenberg-Moore和Kleisli构造

关键词：

计算效应;劳弗尔理论;模块化;单子
PDF格式BibTeX公司 XML格式引用
\textit{M.Hyland}等人，Theor。计算。科学。375，编号1--3，20--40（2007；Zbl 1111.68067）
全文： 内政部 链接

参考文献：

[1] Abelson，H。；Dybvig，R.K。；海恩斯，C.T。；Rozas，G.J。；新泽西州亚当斯。；弗里德曼，D.P。；科尔贝克，E。；斯蒂尔，G.L。；Bartley，D.H。；Halstead，R。；奥克斯利·D·。；苏斯曼，G.J。；布鲁克斯，G。；Hanson，C。；皮特曼，K.M。；Wand，M.，算法语言方案的修订报告，高阶Symb。计算。，11, 1, 7-105 (1998) ·Zbl 0965.68008号
[2] Adámek，J。；罗西克？，J.，（局部可呈现和可访问类别。局部可呈现与可访问类别，伦敦数学学会讲座笔记系列，第189卷（1994），CUP）·Zbl 0795.18007号
[3] 阿里奥拉，Z.M。；Herbelin，H。；Sabry，Amr，《延续和提示的类型理论基础》（Okasaki，C.；Fisher，K.，Proc.Nith ACM SIGPLAN Int.Con.on Functional Programming（2004），ACM），40-53·Zbl 1323.68090号
[4] 巴尔，M。；Wells，C.，拓扑、三元组和理论（1985），Springer-Verlag·Zbl 0567.18001号
[5] 北本顿。；休斯，J。；Moggi，E.，《单子与效应》（Proc.APPSEM 2000）。程序。APPSEM 2000，LNCS，第2395卷（2002）），42-122·Zbl 1065.68064号
[6] P.Cenciarelli，E.Moggi，《指称语义学中模块化的句法方法》，收录于：Proc。第五届CTCS，CWI技术报告，1993年；P.Cenciarelli，E.Moggi，《指称语义学中模块化的句法方法》，收录于：Proc。第五届CTCS，CWI技术报告，1993年
[7] Curien，P.-L.公司。；Herbelin，H.，《计算的二重性》（Proc.5th，ICFP.Proc.5th.ICFP，SIGPLAN Notices，vol.35（9）（2000），ACM Press），233-243·Zbl 1321.68146号
[8] 杜巴，B。；哈珀，R。；MacQueen，D.，在ML，J.Funct中键入一流的续集。编程，3，4，465-484（1993）
[9] Dubuc，E.J.，丰富范畴理论中的Kan扩展，（数学讲义，第145卷（1970），Springer-Verlag）·Zbl 0228.18002号
[10] Felleisen，M。；Friedman，D.，《控制操作符、SECD机器和（lambda）-演算》，（Wirsing，M.，《编程概念的形式化描述III》（1986），北荷兰），193-217
[11] Felleisen，M。；弗里德曼，D.P。；科尔贝克，E.E。；Duba，B.F.，《延续推理》（Proc.1st，LICS（1986），IEEE出版社），131-141
[12] A.Filinski，代表单子，摘自：Proc。第21页。POPL，1994年，第446-457页；A.Filinski，代表单子，摘自：Proc。第21页。POPL，1994年，第446-457页
[13] A.Filinski，《代表分层单子》，摘自：Proc。26、。POPL，1999年，第175-188页；A.Filinski，《代表分层单子》，摘自：Proc。26、。POPL，1999年，第175-188页
[14] Führmann，C。；Thielecke，H.，《关于按调用值CPS转换及其语义》，Inform。和计算。，188, 2, 241-283 (2004) ·Zbl 1078.68095号
[15] T.Griffin，控制的公式化概念，见：Proc。17、。POPL，1990年，第47-58页；T.Griffin，作为控制概念类型的公式，载于：Proc。17、。POPL，1990年，第47-58页
[16] 长谷川，M。；Kakutani，Y.，调用值递归公理，高阶符号。计算。，15, 2-3, 235-264 (2002) ·Zbl 1030.68012号
[17] Hofmann，M.，调用值控制运算符的健全和完整公理化，数学。结构。公司。科学，5，4461-482（1995）·Zbl 0846.68066号
[18] 海兰德，J.M.E。；Plotkin，G.D。；鲍尔，A.J。；阿特莫夫，S。；Mislove，M.，《组合效应：总和和张量》，Clifford讲座和编程语义学的数学基础。克利福德讲座和编程语义的数学基础，理论。计算。科学。，357, 1-3, 70-99 (2006) ·Zbl 1096.68088号
[19] 海兰德，J.M.E。；Power，A.J.，《伪交换单子》（Proc.MFPS XVII.Proc.MFPS-XVII，ENTCS，vol.45（2001），Elsevier）·Zbl 1260.18006号
[20] 海兰德，J.M.E。；Power，A.J.，伪交换单子和伪闭2范畴，J.Pure Appl。代数，175141-185（2002）·Zbl 1009.18003号
[21] Kelly，G.M.，《自由代数、自由幺半群、共线、相关滑轮等超限结构的统一处理》，Bull。南方的。数学。Soc.，22，1-83（1980）·Zbl 0437.18004号
[22] Kelly，G.M.，《丰富范畴理论的基本概念》（1982），剑桥大学出版社·Zbl 0478.18005号
[23] Kelly，G.M.，《在丰富的上下文I中由有限极限定义的结构》，Cah。白杨。盖姆。差异。，23, 1, 3-42 (1982) ·Zbl 0538.18006号
[24] Kelly，G.M。；Power，A.J.，counits为余等式的伴随词，以及有限丰富单子的表示，J.Pure Appl。代数，89，163-179（1993）·Zbl 0779.18003号
[25] 凯尔西，R。；克林格·W。；Rees，J.（修订^5）报告了算法语言方案\（修订后的^5\）关于算法语言方案的报告，高阶Symb。计算。，11, 7-105 (1998) ·Zbl 0965.68008号
[26] Kock，A.，对称单体闭范畴上的单数，Arch。数学。，21, 1-10 (1970) ·Zbl 0196.03403号
[27] Laird，J.，《例外、延续和宏观表达》（Proc.ESOP，Proc.ESOP，LNCS，vol.2305（2002），Springer-Verlag），133-146·Zbl 1077.68567号
[28] Levy，P.B.，通过推送值调用：函数/命令合成，（计算中的语义结构，第2卷（2004），施普林格）·Zbl 1070.68017号
[29] Levy，P.B.，《全球例外的单数和附加词》（Proc.22nd.MFPS.Proc.22nd.MFPS，ENTCS，vol.158（2006），Elsevier），261-287·兹比尔1273.68210
[30] 利维，P.B。；Power，A.J。；Thielecke，H.，用按调用值编程语言建模环境，Inform。和计算。，185, 182-210 (2003) ·Zbl 1069.68073号
[31] 卢斯，C。；Ghani，N.，使用副产物合成单子，（ICFP'02（2002），ACM出版社），133-144·Zbl 1322.68043号
[32] Manes，E.G.，（代数理论。代数理论，数学研究生教材，第26卷（1976年），Springer-Verlag）·Zbl 0353.18007号
[33] Moggi，E.，《计算lambda-calculus和monad》（第三版，LICS（1989），IEEE出版社），14-23·Zbl 0716.03007号
[34] Moggi，E.，《计算和单数概念》，Inform。和计算。，93, 1, 55-92 (1991) ·Zbl 0723.68073号
[35] Ong，C.-H.L。；Stewart，C.A.，《带控制的函数计算的咖喱霍华德基础》（Proc.24th.POPL（1997），ACM出版社），215-227
[36] Parigot，M.，《Lambda-mu演算：经典自然演绎的算法解释》（Voronkov，A.，Proc.LPAR 1992）。程序。LPAR 1992，LNCS，第624卷（1992），Springer-Verlag），190-201·Zbl 0925.03092号
[37] Plotkin，G.D.，《方程式逻辑的一些变体》（扩展抽象），（Futatsugi，K.；Jouannaud，J.-P.；Meseguer，J.，《代数、意义和计算》，《在约瑟夫·A·戈根65岁生日之际献给他的论文》。Goguen在他65岁生日的时候，LNCS，第4060卷（2006），Springer-Verlag），150-156·Zbl 1132.08300号
[38] Plotkin，G.D.，Call-by-name，Call-by-value和\（\lambda\）-演算，理论。计算。科学。，1, 125-154 (1975) ·Zbl 0325.68006号
[39] Plotkin，G.D。；Power，A.J.，《代数效应的充分性》（Honsell，F.；Miculan，M.，Proc.FOSSACS 2001）。程序。FOSSACS 2001，LNCS，第2030卷（2001），Springer-Verlag），1-24·Zbl 0986.68055号
[40] Plotkin，G.D。；Power，A.J.，《计算的概念决定单子》（Proc.FOSSACS’02）。程序。FOSSACS'02，LNCS，第2303卷（2002年），施普林格出版社，342-356·Zbl 1077.68676号
[41] Plotkin，G.D。；Power，A.J.，代数运算和泛型效应，应用。类别。结构，11，1，69-94（2003）·Zbl 1023.18006号
[42] Plotkin，G.D。；Power，A.J.，《计算效果和操作：概述》，（Escardó，M.；Jung，A.，《第六领域研讨会议事录》，《第VI领域研讨会议事稿》，ENTCS，第73卷（2004年），Elsevier），149-163·Zbl 1273.68213号
[43] Power，A.J.，《丰富的法律理论》，《理论应用》。类别。，6, 83-93 (2000) ·兹比尔0943.18003
[44] Power，A.J.，《计算lambda演算模型》，（Hurley，T.；Mac an Airchinnigh，M.；Schellekens，M.）；Seda，A.K.，Proc.MFCSIT 2000。程序。MFCSIT 2000，ENTCS，第40卷（2001），Elsevier:Elsevier阿姆斯特丹）·兹比尔0677.18006
[45] Power，A.J。；Shkaravska，O.，《从comodels到coalebras:State and array》，（Adámek，J.；Milius，S.，Proc.CMCS.Proc.CMCS，ENTCS，vol.106（2004），Elsevier），297-314·Zbl 1271.18006号
[46] Rees，J。；Clinger，W.，（修订^3）算法语言方案报告，ACM SIGPLAN Not。，21, 12, 37-79 (1986)
[47] Reynolds，J.C.，GEDANKEN——一种基于完整性原则和参考概念Commun的简单无类型语言。美国医学会，13，5，308-319（1970）·Zbl 0193.15101号
[48] Reynolds，J.C.，高阶编程语言的定义解释，（第二届ACM年会（1972），ACM），717-740，（再版于《高阶符号计算》11（4），363-3971998）·Zbl 0934.68034号
[49] Reynolds，J.C.，《关于直接语义和连续语义之间的关系》，（Loeckx，J.，Proc.2nd，ICALP.Proc.2rd，ICALP，LNCS，vol.14（1974），Springer-Verlag），141-156·Zbl 0313.68023号
[50] Reynolds，J.C.，《流程图领域的语义》，J.ACM，24，3，484-503（1977）·Zbl 0358.68019号
[51] Reynolds，J.C.，《重访定义口译员》，《高阶Symb》。计算。，11, 4, 355-361 (1998) ·Zbl 0934.68033号
[52] Reynolds，J.C.，《延续的发现》，Lisp Symb。计算。，6, 3-4, 233-248 (1993)
[53] 雷诺兹，J.C.，《程序设计语言理论》（1998），剑桥大学出版社·Zbl 0972.68507号
[54] Riecke，J.G。；Thielecke，H.，类型化例外和延续不能相互宏观表达，（Wiedermann，J.；van Emde Boas，P.；Nielsen，M.，Proc.26th ICALP.Proc.26st ICALP，LNCS，vol.1644（1999）），635-644
[55] Thielecke，H.，《关于国家存在下的例外与延续》（Smolka，G.，Proc.9th。ESOP。Proc.9st。ESOP，LNCS，vol.1782（2000）），第397-411页·Zbl 0960.68036号
[56] Thielecke，H.，比较双管CPS的控制结构，高阶Symb。计算。，15, 141-160 (2002) ·Zbl 1029.03017号
[57] Wozencraft，J.M。；Evans，A.，《编程语言学笔记》（1971），麻省理工学院电气工程系
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。