中基尔胡尔;德雷克·德雷尔 ML和汇编之间的Kripke逻辑关系。 （英语） Zbl 1284.68148号 2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。133-146 (2011).MSC公司：68N20型 03B70号 68号30 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.-K.Hur}和\textit{D.Dreyer}，摘自：第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'11，美国德克萨斯州奥斯汀，2011年1月26-28日。纽约州纽约市：计算机协会（ACM）。133-146（2011年；Zbl 1284.68148） 全文： 内政部
德雷克·德雷尔;乔治·奈斯;拉尔斯·比克达尔 高阶状态和控制效果对局部关系推理的影响。 （英语） Zbl 1323.68203号 2010年9月27日至29日，美国马里兰州巴尔的摩ICFP’10第15届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-794-3）。ACM SIGPLAN Notices 45，No.9，143-156（2010）。MSC公司：68号30 68甲18 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Dreyer}等人，in：第15届ACM SIGPLAN函数编程国际会议论文集，ICFP’10，美国马里兰州巴尔的摩，2010年9月27-29日。纽约州纽约市：计算机协会（ACM）。143-156（2010年；Zbl 1323.68203） 全文： 内政部