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 ，网站）
几乎确定终止的新证
