保罗·埃米利奥·德维莱纳;弗朗索瓦·波蒂埃 验证基于effect-handler的define-by-run反向模式AD库。 (英语) Zbl 07788977号 日志。方法计算。科学。 19,第4号,第5号论文,51页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.E.de Vilhena}和\textit{F.Pottier},Log。方法计算。科学。19,第4号,第5号论文,51页(2023;Zbl 07788977) 全文: 内政部 arXiv公司
丹尼尔·艾哈曼 当程序不得不看着油漆变干时。 (英语) Zbl 07770329号 Kupferman,Orna(编辑)等人,《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023,作为欧洲软件理论与实践联合会议ETAPS 2023的一部分,于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13992,1-23(2023)。MSC公司:68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{D.Ahman},莱克特。注释计算。科学。13992,1--23(2023;Zbl 07770329) 全文: 内政部 arXiv公司
川崎一木;聪,又有;Hidehiko Masuhara;Daan Leijen 闭合效果行的完整类型推断。 (英语) Zbl 1528.68067号 Swierstra,Wouter(编辑)等人,《函数编程趋势》。第23届国际研讨会,TFP 2022,虚拟活动,2022年3月17日至18日。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。13401, 144-168 (2023).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{K.Ikemori}等人,Lect。注释计算。科学。13401144-168(2023年;Zbl 1528.68067) 全文: 内政部
杨志轩;马尔科·帕维奥蒂;尼古拉斯·吴;范登伯格,比尔特;汤姆·施里杰弗斯 范围效应的结构化处理。 (英语) Zbl 1528.68088号 谢尔盖,伊利亚(编辑),《编程语言和系统》。2022年4月2日至7日,在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022,作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13240, 462-491 (2022).MSC公司:68号30 18 C50 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{Z.Yang}等人,Lect。注释计算。科学。13240、462--491(2022;Zbl 1528.68088) 全文: 内政部 arXiv公司
宋亚辉;大流士·富;魏恩根·钦 代数效应的自动时间验证。 (英语) Zbl 1524.68103号 谢尔盖,伊利亚(编辑),《编程语言和系统》。第20届亚洲研讨会,APLAS 2022,新西兰奥克兰,2022年12月5日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。第13658页,第88-109页(2022)。MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Song}等人,Lect。注释计算。科学。13658、88-109(2022年;Zbl 1524.68103) 全文: 内政部
聪,又有;石雄,恰基;卡霍本田;浅井,肯尼奇 类型化调用上下文的函数抽象。 (英语) Zbl 07596582号 日志。方法计算。科学。 18,第3号,第34号论文,第31页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{Y.Cong}等人,Log。方法计算。科学。18,第3号,第34号论文,第31页(2022;Zbl 07596582) 全文: 内政部 arXiv公司
乔纳森·斯特林;卡洛·安吉利;丹尼尔·格拉泽 主教布景的立体语言。 (英语) Zbl 07566056号 日志。方法计算。科学。 18,第1号,第43号论文,80页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Sterling}等人,日志。方法计算。科学。18,第1号,第43号论文,80页(2022;Zbl 07566056) 全文: arXiv公司 链接
奥列格·基塞利约夫;穆申成;阿穆尔·萨布里 不仅仅是通过方程式。具有可扩展效果的推理。 (英语) Zbl 1522.68124号 J.功能。程序。 31,论文编号e2,42 p.(2021).MSC公司:68甲18 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{O.Kiselyov}等人,J.Funct。程序。31,论文编号e2,42 p.(2021;Zbl 1522.68124) 全文: 内政部
吉尔卡·马西克;马克西姆·安布拉德;菲利普·德格罗特 引入\(\llparentaris\lambda\rrparentaris \),一种用于有效计算的\(\lambda\)-演算。 (英语) Zbl 1497.68095号 西奥。计算。科学。 869, 108-155 (2021).MSC公司:68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{J.Marík}等人,Theor。计算。科学。869108-155(2021年;Zbl 1497.68095) 全文: 内政部
托马斯·莱坦;雷吉斯·贾纳斯,亚恩;皮埃尔·奇夫利埃;纪尧姆·希特 使用效果和效果处理程序对程序进行模块化验证。 (英语) Zbl 1458.68119号 正式Asp。计算。 33,第1号,127-150(2021).MSC公司:60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{T.Letan}等人,正式Asp。计算。33,编号1,127--150(2021;Zbl 1458.68119) 全文: 内政部
丹尼尔·艾哈曼;安德烈·鲍尔 跑步者在运动。 (英语) Zbl 1508.68050号 Müller,Peter(编辑),《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会(ESOP 2020),是欧洲软件理论与实践联合会议(ETAPS 2020)的一部分。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12075, 29-55 (2020).MSC公司:68号30 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Ahman}和\textit{A.Bauer},莱克特。注释计算。科学。12075,29-55(2020;Zbl 1508.68050) 全文: 内政部 arXiv公司
安妮·巴南;沃特·斯威斯特拉 将谓词转换器语义用于效果的组合:解析正则语言的一个案例研究。 (英语) Zbl 1511.68050号 New,Max S.(编辑)等人,《数学结构函数编程第八次研讨会论文集》,MSFP 2020,爱尔兰都柏林,2020年4月25日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)31739-56(2020年)。MSC公司:68甲18 2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Baanen}和\textit{W.Swierstra},电子。程序。西奥。计算。科学。(EPTCS)317,39-56(2020;Zbl 1511.68050) 全文: arXiv公司 链接
伯拉克·埃基奇;塞萨里·卡利西克 在Coq中形式化的Kleisli构造的Mac Lane比较定理。 (英语) Zbl 1474.68455号 数学。计算。科学。 14,第3期,533-549(2020年).MSC公司:68V20型 18甲15 18A40型 18个C20 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Ekici}和\textit{C.Kaliszyk},数学。计算。科学。14,第3号,533--549(2020;Zbl 1474.68455) 全文: 内政部
乔治·卡拉查利亚斯;普雷特纳,马蒂亚;阿穆尔·哈尼·萨利赫;斯泰恩·范德哈伦;汤姆·施里杰弗斯 显式效果子类型。 (英语) Zbl 1482.68081号 J.功能。程序。 30,论文编号e15,57 p.(2020).MSC公司:68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit{G.Karachalias}等人,J.Funct。程序。30,论文编号e15,57 p.(2020;Zbl 1482.68081) 全文: 内政部
卢克西奇,扎伊加;普雷特纳,马蒂亚 局部代数效应理论。 (英语) 兹比尔1482.68091 J.功能。程序。 30,论文编号e13,27 p.(2020).MSC公司:68号30 03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{.Lukšić}和\textit{M.Pretnar},J.Funct。程序。30,论文编号e13,第27页(2020;兹bl 1482.68091) 全文: 内政部 arXiv公司
卢卡斯修道院;萨姆·林德利;康纳·麦克布莱德;克雷格·麦克劳林 嘟嘟嘟嘟。 (英语) Zbl 1442.68026号 J.功能。程序。 30,论文编号e9,53 p.(2020).MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{L.Convent}等人,J.Funct。程序。30,论文编号e9,53 p.(2020;Zbl 1442.68026) 全文: 内政部
Brachthäuser,乔纳森·伊曼纽尔;菲利普·舒斯特;克劳斯·奥斯特曼 Effekt:Scala中用于类型和效果安全的可扩展效果处理程序的功能传递样式。 (英语) Zbl 1442.68024号 J.功能。程序。 30,论文编号e8,46 p.(2020).MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.I.Brachthäuser}等人,J.Funct。程序。30,论文编号e8,46 p.(2020;Zbl 1442.68024) 全文: 内政部
丹尼尔·希勒斯特罗姆;萨姆·林德利;罗伯特·艾奇 通过通用延续的效果处理程序。 (英语) 兹比尔1442.68028 J.功能。程序。 30,论文编号e5,69 p.(2020).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.Hillerström}等人,J.Funct。程序。30,论文编号e5,69 p.(2020;Zbl 1442.68028) 全文: 内政部
奥哈德·卡玛;麦克德莫特,迪伦 类型和效果系统语义中逻辑关系的分解系统和单数提升。 (英语) Zbl 1527.68041号 Staton,Sam(编辑),第34届编程语义数学基础会议论文集(MFPS XXXIV),加拿大哈利法克斯达尔豪西大学,2018年6月6日至9日。阿姆斯特丹:爱思唯尔。电子。理论注释。计算。科学。341, 239-260 (2018).MSC公司:68号30 18A32飞机 18立方厘米 18 C50 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{O.Kammar}和\textit{D.McDermott},电子。理论注释。计算。科学。341239--260(2018;Zbl 1527.68041) 全文: 内政部 arXiv公司
托马斯·莱坦;雷吉斯·贾纳斯,亚恩;皮埃尔·奇夫利埃;纪尧姆·希特 Coq中带有效果和效果处理程序的程序的模块化验证。 (英语) Zbl 1460.68062号 Havelund,Klaus(编辑)等人,《形式方法》。2018年7月15日至17日,作为联邦逻辑会议的一部分,在英国牛津举行了2018年第22届国际研讨会(FM 2018)。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10951, 338-354 (2018).MSC公司:60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{T.Letan}等人,Lect。注释计算。科学。10951、338--354(2018;Zbl 1460.68062) 全文: 内政部 哈尔
文森特·拉里;马克·比克福德 使用命名异常验证Brouwer关于数字的连续性原理。 (英语) Zbl 1390.68584号 数学。结构。计算。科学。 28,第6号,942-990(2018).MSC公司:第68页第15页 03B35型 03楼55 03层60 PDF格式BibTeX公司 XML格式引用 \textit{V.Rahli}和\textit{M.Bickford},数学。结构。计算。科学。28,第6号,942--990(2018;Zbl 1390.68584) 全文: 内政部
丹尼尔·希勒斯特罗姆;萨姆·林德利;罗伯特·艾奇;Sivaramakrishnan,K.C。 效果处理程序的连续传递样式。 (英语) Zbl 1441.68017号 Miller,Dale(编辑),第二届计算和演绎形式结构国际会议。FSCD 2017,英国牛津,2017年9月3日至9日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84,第18条,第19页(2017)。MSC公司:68甲18 03B40型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Hillerström}等人,LIPIcs——莱布尼茨国际程序。通知。84,第18条,第19页(2017;Zbl 1441.68017) 全文: 内政部
奥哈德·卡玛;普雷特纳,马蒂亚 代数效果和处理程序不需要值限制。 (英语) 兹伯利1418.68034 J.功能。程序。 27,论文编号e7,34 p.(2017).MSC公司:68甲18 68问题55 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{O.Kammar}和\textit{M.Pretnar},J.Funct。程序。27,论文编号e7,34 p.(2017;Zbl 1418.68034) 全文: 内政部 arXiv公司
安德烈亚斯·亚贝尔;斯蒂芬·阿德尔斯伯格;安东·塞泽尔 Agda中的交互式编程–对象和图形用户界面。 (英语) Zbl 1418.68031号 J.功能。程序。 27,论文编号e8,54 p.(2017).MSC公司:68甲18 第68页第15页 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{A.Abel}等人,J.Funct。程序。27,论文编号e8,54 p.(2017;Zbl 1418.68031) 全文: 内政部
阿穆尔·哈尼·萨利赫;汤姆·施里杰弗斯 Prolog的高效代数效果处理程序。 (英语) 兹比尔1379.68080 理论与实践。日志。程序。 16,编号5-6,884-898(2016).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.H.Saleh}和\textit{T.Schrijvers},理论与实践。日志。程序。16、编号5--6884--898(2016;Zbl 1379.68080) 全文: 内政部 arXiv公司
吉尔卡·马西克;马克西姆·安布拉德 介绍了自然语言语义的效果演算和处理程序。 (英语) Zbl 1478.03060号 Annie Foret(编辑)等人,《形式语法》。第20届和第21届国际会议,FG 2015,西班牙巴塞罗那,2015年8月。修订了选定的论文。FG 2016,意大利博岑,2016年8月。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9804, 257-272 (2016).MSC公司:03B65号 18立方厘米 03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.Marík}和\textit{M.Amblard},莱克特。注释计算。科学。9804257-272(2016年;兹比尔1478.03060) 全文: 内政部 arXiv公司
普雷特纳,马蒂亚 代数效果和处理程序介绍(特邀指导论文)。 (英语) Zbl 1351.68079号 Ghica,Dan(编辑),第31届编程语义数学基础会议论文集(MFPS XXXI),荷兰奈梅亨,2015年6月22日至25日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记319,19-35,仅电子版(2015)。MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Pretnar},电子。理论注释。计算。科学。319、19-35(2015;Zbl 1351.68079) 全文: 内政部
康纳·麦克布莱德 图灵完全免费。 (英语) Zbl 1432.68065号 Hinze,Ralf(编辑)等人,《程序构造的数学》。2015年6月29日至7月1日,第12届国际会议,MPC 2015,德国科尼格斯温特。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9129, 257-275 (2015).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{C.McBride},莱克特。注释计算。科学。9129257--275(2015;Zbl 1432.68065) 全文: 内政部 链接
马丁·埃斯卡多 哥德尔系统T可定义泛函通过有效强迫的连续性。 (英语) Zbl 1334.68126号 Kozen,Dexter(ed.)等人,第29届编程语义数学基础会议论文集(MFPS XXIX),美国洛杉矶新奥尔良,2013年6月。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》298119-141(2013)。MSC公司:68问题55 03B70号 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Escardó},电子。理论注释。计算。科学。298119-141(2013年;兹bl 1334.68126) 全文: 内政部