【文件属性】：
文件名称：popl2018-papers:链接到POPL'18和同期举办的活动的预印本
文件大小：7KB
文件格式：ZIP
更新时间：2021-05-12 20:20:07
popl2018-论文
链接到（POPL 2018）的已链接。 拉请求欢迎！
（类似网页可供， ， ， 和 ，ICFP（ ， ， ， ， ）和 ）。
注意：如果您正在编辑此存储库，请记住对硬换行使用Markdown语法，即在行末两个空格。
POPL 2018
单态封装状态的逻辑关系：在runST存在的情况下证明上下文对等阿明·蒂玛尼（Amin Timany），里奥·斯特凡内斯科（Leo Stefanesco），莫滕·克罗格·耶斯珀森（Morten Krogh-Jespersen），拉斯·伯克达尔（Lars Birkedal） （）
分解数字抽象域的实用构造Gagandeep Singh，MarkusPüschel，Martin Vechev （预印本）
机器学习中的装饰原则托马斯·威廉姆斯，迪迪埃·雷米（预印本从HAL ，延长预印本从HAL ，网站）
几乎确定终止的新证
【文件预览】：
popl2018-papers-master
----README.md(15KB)