推薦合適期刊 投稿指導 助力快速見刊免費咨詢
Journal Of Functional Programming是計算機科學領域的一本優(yōu)秀期刊。由Cambridge University Press出版社出版。該期刊主要發(fā)表計算機科學領域的原創(chuàng)性研究成果。創(chuàng)刊于1991年，該期刊主要刊載計算機：軟件工程-工程技術及其基礎研究的前瞻性、原始性、首創(chuàng)性研究成果、科技成就和進展。該期刊不僅收錄了該領域的科技成就和進展，更以其深厚的學術積淀和卓越的審稿標準，確保每篇文章都具備高度的學術價值。此外，該刊同時被SCIE數據庫收錄，并被劃分為中科院SCI3區(qū)期刊，它始終堅持創(chuàng)新，不斷專注于發(fā)布高度有價值的研究成果，不斷推動計算機科學領域的進步。
同時，我們注重來稿文章表述的清晰度，以及其與我們的讀者群體和研究領域的相關性。為此，我們期待所有投稿的文章能夠保持簡潔明了、組織有序、表述清晰。該期刊平均審稿速度為平均 12周，或約稿 。若您對于稿件是否適合該期刊存在疑慮，建議您在提交前主動與期刊主編取得聯系，或咨詢本站的客服老師。我們的客服老師將根據您的研究內容和方向，為您推薦最為合適的期刊，助力您順利投稿，實現學術成果的順利發(fā)表。
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區(qū) | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機：軟件工程 | 2區(qū) | 否 | 否 |
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 2區(qū) | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機：軟件工程 | 2區(qū) | 否 | 否 |
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區(qū) | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機：軟件工程 | 3區(qū) | 否 | 否 |
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 工程技術 | 4區(qū) | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機：軟件工程 | 4區(qū) | 否 | 否 |
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區(qū) | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機：軟件工程 | 3區(qū) | 否 | 否 |
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區(qū) | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計算機：軟件工程 | 3區(qū) | 否 | 否 |
| 按JIF指標學科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學科：COMPUTER SCIENCE, SOFTWARE ENGINEERING | SCIE | Q4 | 101 / 131 |
23.3% |
| 按JCI指標學科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學科：COMPUTER SCIENCE, SOFTWARE ENGINEERING | SCIE | Q4 | 103 / 131 |
21.76% |
| 學科類別 | 分區(qū) | 排名 | 百分位 |
| 大類：Computer Science 小類：Software | Q4 | 335 / 407 |
17% |
| 年份 | 2014 | 2015 | 2016 | 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023 |
| 年發(fā)文量 | 13 | 18 | 19 | 24 | 18 | 16 | 19 | 28 | 12 | 11 |
| 國家/地區(qū) | 數量 |
| 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。