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

文献信息

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

英国
投稿预审
Journal of Functional Programming 中科院3区 JCR:Q4 SCIE EI JST
发文量 853
被引量 19,004
影响因子(2025版) 0.261

Journal of Functional Programming is the only journal devoted solely to the design, implementation, and application of functional programming languages, spanning the range from mathematical theory to industrial practice. Topics covered include functional languages and extensions, implementation techniques, reasoning and proof, program transformation and synthesis, type systems, type theory, language-based security, memory management, parallelism and applications. The journal is of interest to computer scientists, software engineers, programming language researchers and mathematicians interested in the logical foundations of programming.

  • 主办单位： CAMBRIDGE UNIV PRESS
  • 出版地区： CAMBRIDGE
  • 出版周期： 连续出版
  • 别名： J FUNCT PROGRAM;J. Funct. Program;功能编程学报;JOURNAL OF FUNCTIONAL PROGRAMMING
  • 国际标准连续出版物号/电子版： ISSN 0956-7968 / EISSN 1469-7653
  • 创刊时间： 1991年
热门主题：

编程语言微积分学数据结构类型系统函数式编程类型理论高阶函数专刊专版类型推导Lambda演算纯粹类型函数式编程语言功能性语言编译器构造器方向图匹配程序设计人员APL语言珍珠语义学

收录汇总 栏目浏览 期刊详情
收录汇总
出版文献
期刊详情
新发布(2025版)
分析评价
  • 1
  • 2
  • 3
  • 4
目录
封面
2026年--期
共：1篇
2026年--期

2026年--期

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