推荐合适期刊 投稿指导 助力快速见刊免费咨询
Journal Of Functional Programming是计算机科学领域的一本优秀期刊。由Cambridge University Press出版社出版。该期刊主要发表计算机科学领域的原创性研究成果。创刊于1991年,该期刊主要刊载计算机:软件工程-工程技术及其基础研究的前瞻性、原始性、首创性研究成果、科技成就和进展。该期刊不仅收录了该领域的科技成就和进展,更以其深厚的学术积淀和卓越的审稿标准,确保每篇文章都具备高度的学术价值。此外,该刊同时被SCIE数据库收录,并被划分为中科院SCI3区期刊,它始终坚持创新,不断专注于发布高度有价值的研究成果,不断推动计算机科学领域的进步。
同时,我们注重来稿文章表述的清晰度,以及其与我们的读者群体和研究领域的相关性。为此,我们期待所有投稿的文章能够保持简洁明了、组织有序、表述清晰。该期刊平均审稿速度为平均 12周,或约稿 。若您对于稿件是否适合该期刊存在疑虑,建议您在提交前主动与期刊主编取得联系,或咨询本站的客服老师。我们的客服老师将根据您的研究内容和方向,为您推荐最为合适的期刊,助力您顺利投稿,实现学术成果的顺利发表。
大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
计算机科学 | 3区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机:软件工程 | 2区 | 否 | 否 |
大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
计算机科学 | 2区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机:软件工程 | 2区 | 否 | 否 |
大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
计算机科学 | 3区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机:软件工程 | 3区 | 否 | 否 |
大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
工程技术 | 4区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机:软件工程 | 4区 | 否 | 否 |
大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
计算机科学 | 3区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机:软件工程 | 3区 | 否 | 否 |
大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
计算机科学 | 3区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机:软件工程 | 3区 | 否 | 否 |
按JIF指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
学科:COMPUTER SCIENCE, SOFTWARE ENGINEERING | SCIE | Q4 | 101 / 131 |
23.3% |
按JCI指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
学科:COMPUTER SCIENCE, SOFTWARE ENGINEERING | SCIE | Q4 | 103 / 131 |
21.76% |
学科类别 | 分区 | 排名 | 百分位 |
大类:Computer Science 小类:Software | Q4 | 335 / 407 |
17% |
年份 | 2014 | 2015 | 2016 | 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023 |
年发文量 | 13 | 18 | 19 | 24 | 18 | 16 | 19 | 28 | 12 | 11 |
国家/地区 | 数量 |
USA | 22 |
England | 17 |
GERMANY (FED REP GER) | 14 |
Scotland | 9 |
Belgium | 6 |
Netherlands | 6 |
Sweden | 6 |
France | 5 |
Australia | 4 |
Denmark | 4 |
机构 | 数量 |
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 |
文章名称 | 引用次数 |
Iris from the ground up A modular foundation for higher-order concurrent separation logic | 5 |
The verified CakeML compiler backend | 2 |
Push versus pull-based loop fusion in query engines | 2 |
A theory of RPC calculi for client-server model | 2 |
POPLMark reloaded: Mechanizing proofs by logical relations | 2 |
On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control | 2 |
Systematic identification and communication of type errors | 1 |
The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus | 1 |
Foundations of dependent interoperability | 1 |
How to prove decidability of equational theories with second-order computation analyser SOL | 0 |
SCIE
影响因子 3.7
CiteScore 6.4
SCIE
影响因子 4.5
CiteScore 10
SCIE
影响因子 3.8
CiteScore 6.7
SCIE
影响因子 5.3
CiteScore 9.3
SCIE
影响因子 1.7
CiteScore 3.4
SCIE
CiteScore 5.6
SCIE
影响因子 7.7
CiteScore 20.9
SCIE
影响因子 3.9
CiteScore 7.3
SCIE
影响因子 5.3
CiteScore 10.3
SCIE
影响因子 3
CiteScore 7.7
若用户需要出版服务,请联系出版商:CAMBRIDGE UNIV PRESS, 32 AVENUE OF THE AMERICAS, NEW YORK, USA, NY, 10013-2473。