弗朗西斯科·费雷拉;碧姬·品特卡 使用带有一级绑定器的语法的程序。 （英语） Zbl 1485.68064号 Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10201, 504-529 (2017).MSC公司：68纳米30 68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{F.费雷拉}和\textit{B.Pientka}，莱克特。注释计算。科学。10201、504--529（2017；Zbl 1485.68064） 全文： 内政部
斯蒂芬妮·威里奇;布兰特·尤吉（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｝等人，在：第16届ACM SIGPLAN功能编程国际会议论文集，ICFP’11，日本东京，2011年9月19-21日。纽约州纽约市：计算机协会（ACM）。333--345（2011年；Zbl 1323.68177） 全文： 内政部
乔治·戈蒂尔;贝塔·齐利安尼;阿列克桑达尔·纳内夫斯基;德雷克·德雷尔 如何使即席证明自动化减少即席性。 （英语） Zbl 1323.68117号 2011年9月19-21日在日本东京举行的第16届ACM SIGPLAN功能编程国际会议记录，ICFP’11。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0865-6）。ACM SIGPLAN通知46，第9号，163-175（2011）。MSC公司：68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Gonthier}等人，in：第16届ACM SIGPLAN函数编程国际会议论文集，2011年9月19日至21日，日本东京，ICFP'11。纽约州纽约市：计算机协会（ACM）。163-175（2011年；Zbl 1323.68117） 全文： 内政部 链接