拉尔夫·荣格;罗伯特·克雷伯斯;雅克·亨利·乔尔丹;阿列舍·比兹亚克;拉尔斯·比克达尔;德雷克·德雷尔 从头开始的Iris:高阶并发分离逻辑的模块化基础。 (英语) Zbl 1476.68062号 J.功能。程序。 28,论文编号e20,73 p.(2018).MSC公司:68号30 03B70号 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Jung}等人,J.Funct。程序。28,论文编号e20,73 p.(2018;Zbl 1476.68062) 全文: 内政部
Kang、Jeehoon;中基尔胡尔;奥里·拉哈夫;维克托·瓦菲亚迪斯;德雷克·德雷尔 一种有前途的松弛内存并发语义。 (英语) Zbl 1380.68103号 Castagna,Giuseppe(编辑)等人,第44届ACM SIGPLAN编程语言原则年度研讨会论文集,POPL’17,法国巴黎,2017年1月15日至21日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4660-3)。175-189 (2017).MSC公司:68甲19 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.Kang}等人,《第44届ACM SIGPLAN编程语言原理研讨会论文集》,POPL’17,法国巴黎,2017年1月15-21日。纽约州纽约市:计算机协会(ACM)。175-189(2017;Zbl 1380.68103) 全文: 内政部 链接
罗伯特·克雷伯斯;拉尔夫·荣格;阿列舍·比兹亚克;雅克·亨利·乔尔丹;德雷克·德雷尔;拉尔斯·比克达尔 高阶并发分离逻辑的本质。 (英语) Zbl 1485.68069号 Yang,Hongseok(编辑),《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会(ESOP 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10201, 696-723 (2017).MSC公司:68号30 03B70号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Krebbers}等人,Lect。注释计算。科学。10201、696--723(2017;Zbl 1485.68069) 全文: 内政部 哈尔
拉尔夫·荣格;罗伯特·克雷伯斯;拉尔斯·比克达尔;德雷克·德雷尔 高阶幻影状态。 (英语) Zbl 1361.68066号 Garrigue,Jacques(ed.)等人,《第21届ACM SIGPLAN功能编程国际会议论文集》,2016年9月18日至22日,日本奈良,ICFP’16。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4219-3)。256-269 (2016).MSC公司:68号30 03B70号 68甲18 68甲19 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Jung}等人,in:《第21届ACM SIGPLAN函数编程国际会议论文集》,2016年9月18日至22日,日本奈良ICFP’16。纽约州纽约市:计算机协会(ACM)。256-269(2016;Zbl 1361.68066) 全文: 内政部 链接
贝塔·齐利安尼;德雷克·德雷尔;尼拉坎坦·R·克里希纳斯瓦米。;阿列克桑达尔·纳内夫斯基;维克托·瓦菲亚迪斯 Mtac:Coq中用于类型化策略编程的单子。 (英语) Zbl 1420.68189号 J.功能。程序。 25,论文编号e12,59 p.(2015).MSC公司:68吨15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Ziliani}等人,J.Funct。程序。25,论文编号e12,59 p.(2015;Zbl 1420.68189) 全文: 内政部
乔治·奈斯;中基尔胡尔;Jan-Oliver凯撒;克雷格·麦克劳林;德雷克·德雷尔;维克托·瓦菲亚迪斯 Pilsner:一种用于高阶命令式语言的经过组合验证的编译器。 (英语) Zbl 1360.68350号 2015年9月1日至3日,加拿大温哥华,ICFP’15,第20届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3669-7)。166-178 (2015).MSC公司:第68页第20页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Neis}等人,in:第20届ACM SIGPLAN函数编程国际会议论文集,ICFP’15,加拿大温哥华,2015年9月1日至3日。纽约州纽约市:计算机协会(ACM)。166--178(2015年;Zbl 1360.68350) 全文: 内政部
贝塔·齐利安尼;德雷克·德雷尔;尼拉坎坦·R·克里希纳斯瓦米。;阿列克桑达尔·纳内夫斯基;维克托·瓦菲亚迪斯 Mtac:Coq中用于类型化策略编程的单子。 (英语) Zbl 1323.68236号 2013年9月25日至27日在美国马萨诸塞州波士顿举行的第18届ACM SIGPLAN功能编程国际会议记录,ICFP’13。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2326-0)。ACM SIGPLAN通知48,第9号,87-100(2013)。MSC公司:68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{B.Ziliani}等人,in:第18届ACM SIGPLAN函数编程国际会议论文集,ICFP’13,美国马萨诸塞州波士顿,2013年9月25-27日。纽约州纽约市:计算机协会(ACM)。87-100(2013年;Zbl 1323.68236) 全文: 内政部
中基尔胡尔;乔治·奈斯;德雷克·德雷尔;维克托·瓦菲亚迪斯 参数化在共推证明中的作用。 (英语) Zbl 1301.68220号 2013年1月23日至25日在意大利罗马举行的第40届ACM SIGPLAN-SIGACT编程语言原则年度研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1832-7)。193-206 (2013).MSC公司:68吨15 06B99号 68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.-K.Hur}等人,in:第40届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集,POPL'13,意大利罗马,2013年1月23-25日。纽约州纽约市:计算机协会(ACM)。193-206(2013;Zbl 1301.68220) 全文: 内政部
乔治·戈蒂尔;贝塔·齐利安尼;阿列克桑达尔·纳内夫斯基;德雷克·德雷尔 如何使即席证明自动化减少即席性。 (英语) Zbl 1314.68281号 J.功能。程序。 23,第4期,357-401(2013). 审核人:Temur Kutsia(林茨) MSC公司:68吨15 68甲18 PDF格式BibTeX公司 XML格式引用 \文本{G.Gonthier}等人,J.Funct。程序。23,第4号,357--401(2013;Zbl 1314.68281) 全文: 内政部
乔治·戈蒂尔;贝塔·齐利安尼;阿列克桑达尔·纳内夫斯基;德雷克·德雷尔 如何使即席证明自动化减少即席性。 (英语) 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) 全文: 内政部 链接