×
毛罗·贾斯克利奥夫;尤金尼奥·莫吉

作为单线变压器的单线变压器。 （英语） 兹比尔1209.68107

西奥。计算。科学。 411，编号51-52，4441-4466（2010）.
摘要：模块单子语义的增量方法通过使用单子变换器向预先存在的单子添加计算特性来构造复杂的单子。这种方法的一个复杂之处是，需要将与先前存在的monad相关的操作提升到新的monad。
在Jaskelioff的一篇配套论文中，在系统\（F\omega\）的设置中解决了提升问题。在这里，我们在分类理论的背景下重铸并扩展了这些结果。我们抽象并推广了从单子到幺半群（在单体范畴中），以及从单子变换器到幺半变换器。泛化带来了更多的简单性和清晰性，并为提升操作开辟了道路，使操作的适用性超越了单体。

引用于4文件

MSC公司：

68甲18 函数编程和lambda演算
68甲15 编程语言理论
18B99型 特殊类别

关键词：

单子;幺半群;单体范畴

软件：

莫纳特隆;自动化
PDF格式BibTeX公司 XML格式引用
\textit{M.Jaskelioff}和\textit{E.Moggi}，Theor。计算。科学。411、编号51-52、4441-4466（2010；Zbl 1209.68107）
全文： 内政部

参考文献：

[1] 雅培，M。；Altenkirch，T。；Ghani，N.，《容器分类》，（Gordon，A.D.，FoSSaCS.FoSSaCS，《计算科学中的Lect.注释》，第2620卷（2003），Springer），23-38·Zbl 1029.68096号
[2] R.Atkey，什么是箭头的分类模型？in：数学结构函数编程，Electron。注释Theor。计算。科学，2008（出版中）。；R.Atkey，什么是箭头的分类模型？in：数学结构函数编程，Electron。注释Theor。计算。科学，2008年（出版中）。
[3] Barendregt，H.，Lambda calculi with types，（Abramsky，S.；Gabbay，D.M.；Maibaum，T.S.E.，《计算机科学逻辑手册》（1992），牛津大学出版社），117-309·Zbl 0806.68003号
[4] 巴尔，M。；Wells，C.，（拓扑、三元组和理论。拓扑、三元组和理论，Grundlehren der mathematischen Wissenschaften，vol.278（1985），Springer-Verlag:Springer-Verlag New York）·Zbl 0567.18001号
[5] 巴尔，M。；Wells，C.，《计算机科学的范畴理论》（1995），普伦蒂斯·霍尔·Zbl 0841.18001号
[6] Bénabou，J.，《双类别导论》（《中西部类别研讨会报告》，《中西部类别讨论会报告》，施普林格数学讲稿，第47卷（1967年），施普林格·弗拉格），1-77·Zbl 1375.18001号
[7] 北卡罗来纳州本顿。；休斯，J。；Moggi，E.，Monads and effect，（国际应用语义学暑期学校APPSEM2000（2000），施普林格出版社），42-122·Zbl 1065.68064号
[8] Borceux，F.，《范畴代数手册》（1994），剑桥大学出版社·Zbl 0911.18001号
[9] 布鲁斯，K.B。；Meyer，A.R。；Mitchell，J.C.，二阶lambda演算的语义，Inf.Compute。，85, 76-134 (1990) ·Zbl 0714.68052号
[10] （Castagna，G.，《编程语言和系统》，第18届欧洲编程研讨会，ESOP 2009。编程语言和系统，第18届欧洲编程研讨会，ESOP 2009，Lect。计算中的注释。科学。，第5502卷（2009），施普林格出版社）·Zbl 1157.68004号
[11] 菲奥雷，M。；Hur，C.-K.，《关于方程组自由代数的构造》，理论。计算。科学。，410, 18, 1704-1729 (2009) ·Zbl 1170.18006号
[12] Ghani，N.，《F-omega的Eta扩张》（CSL’96年会议记录）。CSL’96会议录，计算机科学讲义，第1258卷（1996），Springer-Verlag），182-197·Zbl 0881.03010号
[13] 希恩，C。；雅各布斯，B，箭头，像单子一样，是幺半群，电子。注释Theor。计算。科学。，158, 219-236 (2006) ·Zbl 1273.18019号
[14] Hughes，J.，《将单子概括为箭头》，《科学》。计算。编程，37，1-3，67-111（2000）·Zbl 0954.68034号
[15] 海兰德，M。；Plotkin，G.D。；Power，J.，《组合效应：总和和张量》，Theor。计算。科学。，357, 1-3, 70-99 (2006) ·Zbl 1096.68088号
[16] M.Jaskelioff，Monatron:一个可扩展的monad转换器库，收录于：函数语言的实现和应用，IFL08，2008（正在出版）。；M.Jaskelioff，Monatron:一个可扩展的monad转换器库，收录于：函数语言的实现和应用，IFL08，2008（正在出版）。
[17] M.Jaskelioff，《模块化单子变压器》，收录于：G.Castagna[10]；M.Jaskelioff，《模块化单子变压器》，收录于：G.Castagna[10]·兹比尔12346.8056
[18] S.L.Peyton Jones，P.Wadler，《强制函数编程》，载于：第20届ACM SIGPLAN-SIGACT编程语言原理研讨会，1993年，第71-84页。；S.L.Peyton Jones，P.Wadler，《强制函数编程》，载于：第20届ACM SIGPLAN-SIGACT编程语言原理研讨会，1993年，第71-84页。
[19] Kelly，G.M.，《自由代数、自由幺半群、共线、相关滑轮等超限结构的统一处理》，Bull。澳大利亚。数学。Soc.，22，01，1-83（1980年）·Zbl 0437.18004号
[20] Kelly，G.M。；Power，J.，counits是余限定词的伴随词和有限单体的表示，J.Pure Appl。代数，89，1-2，163-179（1993）·Zbl 0779.18003号
[21] Kelly，G.M。；Street，R.H.，《两类元素的回顾》，（Dold，A.；Eckmann，B.，《类别研讨会》，《数学课堂笔记》，第420卷（1974），Springer）·Zbl 0334.18016号
[22] Lambek，J.，《从lambda微积分到笛卡尔闭范畴》，（致H.B.Curry：组合逻辑论文，lambda演算和形式主义（1980），学术出版社），375-402
[23] Lambek，J。；Scott，P.J.，《高阶范畴逻辑导论》（1986），剑桥大学出版社·Zbl 0596.0302号
[24] Liang，S。；Hudak，P.，编译器构造的模块指称语义，（Nielson，H.R.，ESOP.ESOP，《计算科学》Lect.Notes，第1058卷（1996），Springer），219-234
[25] S.Liang、P.Hudak、M.Jones，《Monad变形金刚和模块化口译员》，第22届ACM SIGPLAN-SIGACT编程语言原理研讨会，1995年，第333-343页。；S.Liang、P.Hudak、M.Jones，《Monad变形金刚和模块化口译员》，载于《第22届ACM SIGPLAN-SIGACT编程语言原理研讨会》，1995年，第333-343页。
[26] J.R.Longley，《可实现拓扑与语言语义学》，爱丁堡大学博士论文，1994年。；J.R.Longley，《可实现拓扑与语言语义学》，爱丁堡大学博士论文，1994年。
[27] C.Lüth，N.Ghani，使用副产物合成单子，收录于：第七届ACM SIGPLAN函数编程国际会议，2002年，第133-144页。；C.Lüth，N.Ghani，使用副产物合成单子，收录于：第七届ACM SIGPLAN函数编程国际会议，2002年，第133-144页·Zbl 1322.68043号
[28] Mac Lane，S.，（工作数学家的类别。工作数学家类别，数学研究生教材，第5卷（1998年），Springer-Verlag）·Zbl 0906.18001号
[29] Manes，E.G.，《代数理论》（1976），斯普林格·弗拉格·Zbl 0489.18003号
[30] Manes，E.G.，用monad实现集合类，数学。结构计算。科学。，8, 3, 231-276 (1998) ·Zbl 0916.68016号
[31] Moggi，E.，计算lambda-calculus和monad，（第四届计算机科学逻辑年会（1989），IEEE计算机学会），14-23·Zbl 0716.03007号
[32] Moggi，E.，《计算和单数概念》，Inf.Compute。，93, 1, 55-92 (1991) ·Zbl 0723.68073号
[33] Moggi，E.，元语言和应用，（计算的语义和逻辑（1997），牛顿研究所出版物：牛顿研究所CUP出版物）·兹比尔0919.68085
[34] 安德鲁·皮特斯。，回顾Tripos理论，数学。结构计算。科学。，12, 3, 265-279 (2002) ·兹比尔1005.18005
[35] Plotkin，G.D。；Power，J.，代数运算语义，电子。注释Theor。计算。科学。，45 (2001) ·Zbl 1260.68220号
[36] Plotkin，G.D。；Power，J.，《计算概念决定单子》，（Nielsen，M.；Engberg，U.，FoSSaCS.FoSSaCS，Lect.Notes in Compute.Sci.，vol.2303（2002），Springer），342-356·Zbl 1077.68676号
[37] G.D.Plotkin，M.Pretnar，代数效应的处理者。in：G.Castagna[10]；G.D.Plotkin，M.Pretnar，代数效应的处理者。in：G.Castagna[10]·Zbl 1234.68059号
[38] Polakow，J。；Pfenning，F.，直觉主义非通信线性逻辑的自然演绎，（Girard，J.-Y.，TLCA.TLCA，《计算科学学报》，第1581卷（1999），Springer），295-309·Zbl 0931.03071号
[39] Power，J。；Robinson，E.，前单体范畴和计算概念，数学。结构计算。科学。，7, 5, 453-468 (1997) ·Zbl 0897.18002号
[40] Scott，D.S.，《（λ）演算的相关理论》（Hindley，R.；Seldin，J.，To H.B.Curry：《组合逻辑、λ演算和形式主义论文》（1980），学术出版社）
[41] Wadler，P.，理解单数，数学。结构计算。科学。，2, 4, 461-493 (1992) ·Zbl 0798.68040号
[42] P.Wadler，《函数式编程的本质》，载于：第九届ACM SIGPLAN-SIGCT年度编程语言原理研讨会，1992年，第1-14页。；P.Wadler，《函数编程的本质》，载于：第九届ACM SIGPLAN-SIGACT编程语言原理研讨会，1992年，第1-14页。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。