马可·曼托瓦尼；阿尔贝托·莫米利亚诺 面向基于子结构特性的测试。 （英语） Zbl 1521.68035号 De Angelis，Emanuele（编辑）等，基于逻辑的程序合成和转换。第31届国际研讨会，2021年9月7日至8日，爱沙尼亚塔林，LOPSTR 2021。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13290, 92-112 (2022).MSC公司：68号30 03B47号 68甲15 68问题55 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit｛M.Mantovani｝和\textit｛A.Momigliano｝，Lect。票据计算。科学。13290，92-112（2022；Zbl 1521.68035） 全文： 内政部 arXiv公司 链接
奥利维尔·萨瓦里·布兰格；斯特凡·莫尼尔；碧姬·品特卡 使用高阶抽象语法编程类型安全转换。 （英语） Zbl 1426.68061号 Gonthier，Georges（编辑）等人，《认证程序和证明》。第三届国际会议，2013年CPP，澳大利亚维多利亚州墨尔本，2013年12月11-13日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8307, 243-258 (2013).MSC公司：68号30 68N20型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{O.Savary-Belanger}等人，Lect。票据计算。科学。8307243-258（2013；Zbl 1426.68061） 全文： 内政部
斯蒂芬妮·威里奇；布兰特·尤吉（Brent A.Yorgey）。；蒂姆·谢尔德 活页夹未绑定。 （英语） Zbl 1323.68177号 2011年9月19-21日在日本东京举行的第16届ACM SIGPLAN功能编程国际会议记录，ICFP’11。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0865-6）。ACM SIGPLAN通知46，第9号，333-345（2011）。MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{S.Weirich}等人，in：第16届ACM SIGPLAN函数式编程国际会议论文集，2011年9月19日至21日，日本东京。纽约州纽约市：计算机协会（ACM）。333--345（2011年；Zbl 1323.68177） 全文： 内政部