pldb: programming languages papers12 hours agoresearch papersprogramming languagesPOPLhttps://pldb.kirancodes.me/Copy Link收录了从1973年至今的33,580篇POPL编程语言论文。主题包括渐进类型、分离逻辑并发、效果处理器、e图、增量计算和所有权类型（不包括Java）。作者Xavier Leroy与该数据集有关联。