丹尼尔·艾哈曼 当程序不得不看着油漆变干时。 （英语） 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公司 OA许可证
帕特里克·巴尔 所有模式FRP：Haskell中没有空间泄漏的函数式反应式编程。 （英语） Zbl 07697866号 J.功能。程序。 32，论文编号e15，48 p.（2022）.MSC公司：第68页第18页 PDF格式BibTeX公司 XML格式引用 \textit{P.Bahr}，J.Funct。程序。32，论文编号e15，48 p.（2022；Zbl 07697866） 全文： 内政部
吉勒姆·贾伯;科林·里巴 保护递归类型的时间优化。 （英语） Zbl 1473.68047号 Yoshida，Nobuko（编辑），《编程语言和系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12648548-578（2021年）。MSC公司：68号30 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Jaber}和\textit{C.Riba}，莱克特。注释计算。科学。12648548--578（2021年；Zbl 1473.68047） 全文： 内政部 OA许可证
克里斯蒂安·乌尔达尔;Dmitrij，Szamozvancev;内尔·克里希纳斯瓦米 伴随反应式GUI编程。 （英语） Zbl 07410430号 Kiefer，Stefan（编辑）等人，《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021，作为欧洲软件理论与实践联合会议ETAPS 2021的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12650, 289-309 (2021).MSC公司：68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{C.U.Graulund}等人，Lect。注释计算。科学。12650、289--309（2021；Zbl 07410430） 全文： 内政部 arXiv公司 OA许可证
波拉·塞韦利 递归的轻量级形式。 （英语） Zbl 1486.68034号 日志。方法计算。科学。 15，第1号，第8号论文，32页（2019年）.MSC公司：第68页第18页 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{P.Severi}，日志。方法计算。科学。15，第1号，第8号文件，第32页（2019年；Zbl 1486.68034） 全文： arXiv公司
波拉·塞韦利 递归的轻量级形式。 （英语） Zbl 1486.68033号 Esparza，Javier（编辑）等人，《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017，作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10203499-516（2017年）。MSC公司：第68页第18页 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{P.Severi}，莱克特。注释计算。科学。10203、499--516（2017；Zbl 1486.68033） 全文： 内政部 arXiv公司