期刊详情
Proceedings Of The ACM On Programming Languages
立即访问
语言：
英文
所在数据库：
Association For Computing Machinery
更新时间：
2026-04-06 20:48:12
期刊详情
Proceedings Of The ACM On Programming Languages 《ACM编程语言论文集》（POPL, ICFP, OOPSLA等会议的合集）发表编程语言理论、编译器及形式化方法的研究。内容涵盖类型系统、程序语义、函数式编程及语言实现，代表了编程语言领域的最高学术成就。