文件名称：popl2018-papers:链接到POPL'18和同期举办的活动的预印本
文件大小：7KB
文件格式：ZIP
更新时间：2024-06-01 14:06:47
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)