杨志轩;马尔科·帕维奥蒂;尼古拉斯·吴;范登伯格，比尔特;汤姆·施里杰弗斯 范围效应的结构化处理。 （英语） 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公司 OA许可证
奥列格·基塞利约夫;穆申成;阿穆尔·萨布里 不仅仅是通过方程式。具有可扩展效果的推理。 （英语） 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） 全文： 内政部
丹尼尔·艾哈曼;安德烈·鲍尔 跑步者在行动。 （英语） 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公司 OA许可证
卢克西奇，扎伊加;普雷特纳，马蒂亚 局部代数效应理论。 （英语） Zbl 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 p.（2020；Zbl 1482.68091） 全文： 内政部 arXiv公司
奥哈德·卡玛;普雷特纳，马蒂亚 代数效果和处理程序不需要值限制。 （英语） Zbl 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公司
普雷特纳，马蒂亚 代数效果和处理程序介绍（特邀指导论文）。 （英语） Zbl 1351.68079号 Dan Ghica（编辑），第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） 全文： 内政部