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
