文件名称：java芋道源码-popl2015-papers:POPL2015录用论文
文件大小：5KB
文件格式：ZIP
更新时间：2024-06-25 12:49:58
系统开源
java芋道源码链接到（POPL 2015）。 欢迎拉取请求！ （类似的页面可用于 、 、 和 、 ICFP （ 、 、 ） 和 。） 上次提交的链接状态： POPL 2015 一个可扩展的、正确的时间戳堆栈() 作者：Mike Dodds、Andreas Haas 和 Christoph M. Kirsch 从通信机器到图形编排() 作者：Julien Lange、Emilio Tuosto 和 Nobuko Yoshida 方程、收缩和唯一解() 大卫·桑乔吉 C 静态分析器的形式验证() 作者：Jacques-Henri Jourdan、Vincent Laporte、Sandrine Blazy、Xavier Leroy 和 David Pichardie 节省空间的舱单合同( | ) 迈克尔·格林伯格 定量过程间分析作者：Krishnendu Chatterjee、Andreas Pavlogiannis 和 Yaron Velner 集成线性和从属类型() 作者：尼尔·克里希那斯瓦米、皮埃尔·普拉迪奇和尼克·本顿 函子是类型细化系统() 作者：Paul-André Mell
【文件预览】：
popl2015-papers-master
----README.md(11KB)
----.travis.yml(240B)