- 首页
- 产品推荐个人精选服务科研辅助服务教育大数据服务行业精选服务学科系列服务产品服务
- 期刊大全
- 充值
- 会员
- 职称材料
- 首页
- 产品服务
- 知识脉络
- 期刊大全
- 充值
- 会员
- 职称材料
搜期刊
刊名
文献信息
- 任意字段
- 主题词
- 篇关摘
- 篇名
- 关键词
- 摘要
- 作者
- 第一作者
- 作者单位
- 刊名
- 中图分类号
- 学科分类号
- DOI
- 基金
投稿预审
Proceedings of the ACM on Programming Languages
中科院1区 JCR:Q2 ESCI EI PubMed JST
- 主办单位： ASSOC COMPUTING MACHINERY
- 出版地区： NEW YORK
- 出版周期： 年3期
- 别名： P ACM PROGRAM LANG;P. ACM Program. Lang.;PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
- 创刊时间： 2017年
热门主题：
Type SystemProgramming LanguagesFunctional ProgrammingStatic AnalysisProgram VerificationFormal VerificationProbabilistic ProgrammingData StructuresType InferenceType TheoryEffect HandlersLambda CalculusSymbolic ExecutionFunctional ProgramsProgram LogicHigher-Order FunctionsDistributed SystemsConcurrent Separation LogicModel CheckingMemory Model
期刊信息
- 主办单位：ASSOC COMPUTING MACHINERY
- 主 编：Michael Hicks
- 地 址： NEW YORK
- 电子邮件： pacmpl-admin@acm.org
期刊简介