• 充值
  • 会员
  • 职称材料
搜期刊
刊名

文献信息

  • 任意字段
  • 主题词
  • 篇关摘
  • 篇名
  • 关键词
  • 摘要
  • 作者
  • 第一作者
  • 作者单位
  • 刊名
  • 中图分类号
  • 学科分类号
  • DOI
  • 基金
文献检索

美国
投稿预审
Proceedings of the ACM on Programming Languages 中科院1区 JCR:Q2 ESCI EI PubMed JST
发文量 2,196
被引量 30,612
影响因子(2024) 1.712

  • 主办单位： 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

收录汇总 栏目浏览 期刊详情
收录汇总
出版文献
期刊详情
分析评价
目录
封面
2025年ICFP期
共：36篇
  • 1
  • 2
2025年ICFP期

2025年ICFP期

客服咨询
投稿相关：023-63416211
撤稿相关：023-63012682
查重相关：023-63506028
重庆维普资讯有限公司 渝B2-20050021-1 渝公网备 50019002500403
违法和不良信息举报中心   举报邮箱：jubao@cqvip.com   互联网算法推荐专项举报：sfjubao@cqvip.com    网络暴力专项举报: bljubao@cqvip.com
网络出版：（署）网出证（渝）字第014号    出版物经营许可证：新出发2018批字第006号