卢卡斯修道院；萨姆·林德利；康纳·麦克布莱德；克雷格·麦克劳林 嘟嘟嘟嘟。 （英语） 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） 全文： 内政部
普雷特纳，马蒂亚 推断代数效应。 （英语） Zbl 1341.68024号 日志。方法计算。科学。 10，第3号，第21号论文，43页（2014年）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Pretnar}，日志。方法计算。科学。10，第3号，第21号论文，43页（2014；Zbl 1341.68024） 全文： 内政部 arXiv公司
奥哈德·卡玛；萨姆·林德利；尼古拉斯·欧里 处理程序正在运行。 （英语） Zbl 1323.68126号 2013年9月25日至27日在美国马萨诸塞州波士顿举行的第18届ACM SIGPLAN功能编程国际会议记录，ICFP’13。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2326-0）。ACM SIGPLAN Notices 48，No.9，145-158（2013）。MSC公司：68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{O.Kammar}等人，in：第18届ACM SIGPLAN函数编程国际会议论文集，ICFP’13，美国马萨诸塞州波士顿，2013年9月25-27日。纽约州纽约市：计算机协会（ACM）。145-158（2013年；Zbl 1323.68126） 全文： 内政部