弗朗西斯科·费雷拉；碧姬·品特卡 使用带有一级绑定器的语法的程序。 （英语） 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}，莱克特。票据计算。科学。10201504-529（2017年；兹比尔1485.68064） 全文： 内政部
奥利维尔·萨瓦里·布兰格；斯特凡·莫尼尔；碧姬·品特卡 使用高阶抽象语法编程类型安全转换。 （英语） 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） 全文： 内政部
彼得·休厄尔；弗朗西斯科·扎帕·纳德利；斯科特·欧文斯；吉勒·佩斯金；里奇，托马斯；萨卡，苏斯米特；斯特尼萨，洛克 Ott：对工作语义的有效工具支持。 （英语） Zbl 1185.68201号 J.功能。程序。 20，第1期，71-122（2010）.MSC公司：68甲18 第68季度55 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Sewell}等人，J.Funct。程序。20，编号1，71-122（2010；Zbl 1185.68201） 全文： 内政部