聪，又有;浅井，肯尼奇 通过分隔控制运算符理解代数效果处理程序。 （英语） Zbl 1528.68060号 Swierstra，Wouter（编辑）等人，《函数编程趋势》。第23届国际研讨会，TFP 2022，虚拟活动，2022年3月17日至18日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13401, 59-79 (2023).MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{Y.Cong}和\textit{K.Asai}，莱克特。注释计算。科学。13401、59--79（2023年；Zbl 1528.68060） 全文： 内政部
聪，又有;石雄，恰基;卡霍本田;浅井，肯尼奇 类型化调用上下文的函数抽象。 （英语） 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公司 OA许可证
新，Max S。;丹尼尔·李卡塔（Daniel R.Licata）。;阿马尔·艾哈迈德 渐进式理论。 （英语） Zbl 1522.68127号 J.功能。程序。 31，论文编号e21，139 p.（2021）.MSC公司：68甲18 68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.S.New}等人，J.Funct。程序。31，论文编号e21，139 p.（2021；Zbl 1522.68127） 全文： 内政部
卢卡斯修道院;萨姆·林德利;康纳·麦克布莱德;克雷格·麦克劳林 嘟嘟嘟嘟。 （英语） 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） 全文： 内政部