首页 > SCI期刊 > 计算机科学 > Journal Of Functional Programming
评价信息：
影响因子：1.1
年发文量：11
《函数式编程杂志》(Journal Of Functional Programming)是一本以计算机：软件工程-工程技术综合研究为特色的国际期刊。该刊由Cambridge University Press出版商创刊于1991年，刊期Bimonthly。该刊已被国际重要权威数据库SCIE收录。期刊聚焦计算机：软件工程-工程技术领域的重点研究和前沿进展，及时刊载和报道该领域的研究成果，致力于成为该领域同行进行快速学术交流的信息窗口与平台。该刊2023年影响因子为1.1。CiteScore指数值为1.7。
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.
《函数式编程杂志》是唯一一本专门讨论函数式编程语言的设计、实现和应用的杂志，涵盖从数学理论到工业实践的各个领域。涵盖的主题包括函数式语言和扩展、实现技术、推理和证明、程序转换和综合、类型系统、类型理论、基于语言的安全性、内存管理、并行性和应用程序。该杂志吸引了对编程逻辑基础感兴趣的计算机科学家、软件工程师、编程语言研究人员和数学家。
《Journal Of Functional Programming》(函数式编程杂志)编辑部通讯方式为CAMBRIDGE UNIV PRESS, 32 AVENUE OF THE AMERICAS, NEW YORK, USA, NY, 10013-2473。如果您需要协助投稿或润稿服务，您可以咨询我们的客服老师。我们专注于期刊投稿服务十年，熟悉发表政策，可为您提供一对一投稿指导，避免您在投稿时频繁碰壁，节省您的宝贵时间，有效提升发表机率，确保SCI检索（检索不了全额退款）。我们视信誉为生命，多方面确保文章安全保密，在任何情况下都不会泄露您的个人信息或稿件内容。
2023年12月升级版
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 3区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 | 2区 | 否 | 否 |
2022年12月升级版
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 2区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 | 2区 | 否 | 否 |
2021年12月旧的升级版
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 3区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 | 3区 | 否 | 否 |
2021年12月基础版
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 工程技术 | 4区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 | 4区 | 否 | 否 |
2021年12月升级版
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 3区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 | 3区 | 否 | 否 |
2020年12月旧的升级版
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 3区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 | 3区 | 否 | 否 |
基础版：即2019年12月17日，正式发布的《2019年中国科学院文献情报中心期刊分区表》；将JCR中所有期刊分为13个大类,期刊范围只有SCI期刊。
升级版：即2020年1月13日，正式发布的《2019年中国科学院文献情报中心期刊分区表升级版（试行）》,升级版采用了改进后的指标方法体系对基础版的延续和改进，影响因子不再是分区的唯一或者决定性因素，也没有了分区的IF阈值期刊由基础版的13个学科扩展至18个，科研评价将更加明确。期刊范围有SCI期刊、SSCI期刊。从2022年开始，分区表将只发布升级版结果，不再有基础版和升级版之分,基础版和升级版（试行）将过渡共存三年时间。
JCR分区等级：Q4
| 按JIF指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| 学科：COMPUTER SCIENCE, SOFTWARE ENGINEERING | SCIE | Q4 | 101 / 131 |
23.3% |
| 按JCI指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| 学科：COMPUTER SCIENCE, SOFTWARE ENGINEERING | SCIE | Q4 | 103 / 131 |
21.76% |
| Gold OA文章占比 | 研究类文章占比 | 文章自引率 |
| 64.71% | 100.00% | -- |
| 开源占比 | 出版国人文章占比 | OA被引用占比 |
| 0.44... | 0.02 | -- |
名词解释：JCR分区在学术期刊评价、科研成果展示、科研方向引导以及学术交流与合作等方面都具有重要的价值。通过对期刊影响因子的精确计算和细致划分，JCR分区能够清晰地反映出不同期刊在同一学科领域内的相对位置，从而帮助科研人员准确识别出高质量的学术期刊。
| CiteScore | SJR | SNIP | CiteScore 指数 | ||||||||
| 1.7 | 0.484 | 0.847 |
|
名词解释：CiteScore是基于Scopus数据库的全新期刊评价体系。CiteScore 2021 的计算方式是期刊最近4年（含计算年度）的被引次数除以该期刊近四年发表的文献数。CiteScore基于全球最广泛的摘要和引文数据库Scopus，适用于所有连续出版物，而不仅仅是期刊。目前CiteScore 收录了超过 26000 种期刊，比获得影响因子的期刊多13000种。被各界人士认为是影响因子最有力的竞争对手。
历年中科院分区趋势图
历年IF值(影响因子)
历年引文指标和发文量
历年自引数据
2019-2021年国家/地区发文量统计
| 国家/地区 | 数量 |
| USA | 22 |
| England | 17 |
| GERMANY (FED REP GER) | 14 |
| Scotland | 9 |
| Belgium | 6 |
| Netherlands | 6 |
| Sweden | 6 |
| France | 5 |
| Australia | 4 |
| Denmark | 4 |
2019-2021年机构发文量统计
| 机构 | 数量 |
| UNIVERSITY OF EDINBURGH | 8 |
| KU LEUVEN | 5 |
| INRIA | 4 |
| UNIVERSITY OF CAMBRIDGE | 4 |
| UNIVERSITY OF NEW SOUTH WALES SYDNEY | 4 |
| UNIVERSITY OF OXFORD | 4 |
| DELFT UNIVERSITY OF TECHNOLOGY | 3 |
| EBERHARD KARLS UNIVERSITY OF TUBINGEN | 3 |
| IMPERIAL COLLEGE LONDON | 3 |
| NORTHEASTERN UNIVERSITY | 3 |
2019-2021年文章引用数据
| 文章引用名称 | 引用次数 |
| Iris from the ground up A modular founda... | 5 |
| The verified CakeML compiler backend | 2 |
| Push versus pull-based loop fusion in qu... | 2 |
| A theory of RPC calculi for client-serve... | 2 |
| POPLMark reloaded: Mechanizing proofs by... | 2 |
| On the expressive power of user-defined ... | 2 |
| Systematic identification and communicat... | 1 |
| The full-reducing Krivine abstract machi... | 1 |
| Foundations of dependent interoperabilit... | 1 |
| How to prove decidability of equational ... | 0 |
2019-2021年文章被引用数据
| 被引用期刊名称 | 数量 |
| J FUNCT PROGRAM | 25 |
| LOG METH COMPUT SCI | 21 |
| J AUTOM REASONING | 14 |
| SCI COMPUT PROGRAM | 10 |
| ACM T PROGR LANG SYS | 9 |
| J LOG ALGEBR METHODS | 8 |
| MATH STRUCT COMP SCI | 7 |
| ELECTRON J COMB | 5 |
| FUND INFORM | 5 |
| J LOGIC COMPUT | 4 |
2019-2021年引用数据
| 引用期刊名称 | 数量 |
| J FUNCT PROGRAM | 25 |
| ACM T PROGR LANG SYS | 16 |
| INFORM COMPUT | 15 |
| THEOR COMPUT SCI | 15 |
| COMMUN ACM | 13 |
| J AUTOM REASONING | 11 |
| LOG METH COMPUT SCI | 11 |
| SCI COMPUT PROGRAM | 9 |
| MATH STRUCT COMP SCI | 7 |
| J ACM | 6 |
中科院分区：1区
影响因子：8.1
审稿周期：约Time to first decision: 6 days; Review time: 44 days; Submission to acceptance: 54 days; 约4.1个月 约6.8周
中科院分区：1区
影响因子：7.7
审稿周期：约Time to first decision: 9 days; Review time: 64 days; Submission to acceptance: 82 days; 约2.7个月 约7.8周
中科院分区：3区
影响因子：3.3
审稿周期：约17.72天 11 Weeks
中科院分区：2区
影响因子：5.1
审稿周期： 约1.9个月 约2.7周
中科院分区：2区
影响因子：5.8
审稿周期： 约2.4个月 约7.6周
中科院分区：2区
影响因子：4.8
审稿周期： 约2.7个月 约7.5周
若用户需要出版服务，请联系出版商：CAMBRIDGE UNIV PRESS, 32 AVENUE OF THE AMERICAS, NEW YORK, USA, NY, 10013-2473。
