Journal Title：Journal Of Functional Programming
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.
《函數(shù)式編程雜志》是唯一一本專門討論函數(shù)式編程語言的設(shè)計(jì)、實(shí)現(xiàn)和應(yīng)用的雜志，涵蓋從數(shù)學(xué)理論到工業(yè)實(shí)踐的各個領(lǐng)域。涵蓋的主題包括函數(shù)式語言和擴(kuò)展、實(shí)現(xiàn)技術(shù)、推理和證明、程序轉(zhuǎn)換和綜合、類型系統(tǒng)、類型理論、基于語言的安全性、內(nèi)存管理、并行性和應(yīng)用程序。該雜志吸引了對編程邏輯基礎(chǔ)感興趣的計(jì)算機(jī)科學(xué)家、軟件工程師、編程語言研究人員和數(shù)學(xué)家。
Journal Of Functional Programming創(chuàng)刊于1991年，由Cambridge University Press出版商出版，收稿方向涵蓋計(jì)算機(jī)：軟件工程 - 工程技術(shù)全領(lǐng)域，此刊是中等級別的SCI期刊，所以過審相對來講不是特別難，但是該刊專業(yè)認(rèn)可度不錯，仍然是一本值得選擇的SCI期刊 。平均審稿速度 12周，或約稿 ，影響因子指數(shù)1.1，該期刊近期沒有被列入國際期刊預(yù)警名單，廣大學(xué)者值得一試。
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 3區(qū) | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計(jì)算機(jī)：軟件工程 | 2區(qū) | 否 | 否 |
名詞解釋：
中科院分區(qū)也叫中科院JCR分區(qū)，基礎(chǔ)版分為13個大類學(xué)科，然后按照各類期刊影響因子分別將每個類別分為四個區(qū)，影響因子5%為1區(qū)，6%-20%為2區(qū)，21%-50%為3區(qū)，其余為4區(qū)。
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 2區(qū) | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計(jì)算機(jī)：軟件工程 | 2區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 3區(qū) | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計(jì)算機(jī)：軟件工程 | 3區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 工程技術(shù) | 4區(qū) | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計(jì)算機(jī)：軟件工程 | 4區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 3區(qū) | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計(jì)算機(jī)：軟件工程 | 3區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 3區(qū) | COMPUTER SCIENCE, SOFTWARE ENGINEERING 計(jì)算機(jī)：軟件工程 | 3區(qū) | 否 | 否 |
| 按JIF指標(biāo)學(xué)科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學(xué)科：COMPUTER SCIENCE, SOFTWARE ENGINEERING | SCIE | Q4 | 101 / 131 |
23.3% |
| 按JCI指標(biāo)學(xué)科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學(xué)科：COMPUTER SCIENCE, SOFTWARE ENGINEERING | SCIE | Q4 | 103 / 131 |
21.76% |
名詞解釋：
WOS即Web of Science，是全球獲取學(xué)術(shù)信息的重要數(shù)據(jù)庫，Web of Science包括自然科學(xué)、社會科學(xué)、藝術(shù)與人文領(lǐng)域的信息，來自全世界近9,000種最負(fù)盛名的高影響力研究期刊及12,000多種學(xué)術(shù)會議多學(xué)科內(nèi)容。給期刊分區(qū)時會按照某一個學(xué)科領(lǐng)域劃分，根據(jù)這一學(xué)科所有按照影響因子數(shù)值降序排名，然后平均分成4等份，期刊影響因子值高的就會在高分區(qū)中，最后的劃分結(jié)果分別是Q1，Q2，Q3，Q4，Q1代表質(zhì)量最高。
| CiteScore | SJR | SNIP | CiteScore排名 | ||||||||
| 1.7 | 0.484 | 0.847 |
|
名詞解釋：
CiteScore：衡量期刊所發(fā)表文獻(xiàn)的平均受引用次數(shù)。
SJR:SCImago 期刊等級衡量經(jīng)過加權(quán)后的期刊受引用次數(shù)。引用次數(shù)的加權(quán)值由施引期刊的學(xué)科領(lǐng)域和聲望 (SJR) 決定。
SNIP:每篇文章中來源出版物的標(biāo)準(zhǔn)化影響將實(shí)際受引用情況對照期刊所屬學(xué)科領(lǐng)域中預(yù)期的受引用情況進(jìn)行衡量。
| 是否OA開放訪問： | h-index： | 年文章數(shù)： |
| 未開放 | 47 | 11 |
| Gold OA文章占比： | 2021-2022最新影響因子（數(shù)據(jù)來源于搜索引擎）: | 開源占比（OA被引用占比）： |
| 64.71% | 1.1 | 0.44... |
| 研究類文章占比：文章 ÷（文章 + 綜述） | 期刊收錄： | 中科院《國際期刊預(yù)警名單（試行）》名單： |
| 100.00% | SCIE | 否 |
歷年IF值(影響因子)：
歷年引文指標(biāo)和發(fā)文量：
歷年中科院JCR大類分區(qū)數(shù)據(jù)：
歷年自引數(shù)據(jù)：
2023-2024國家/地區(qū)發(fā)文量統(tǒng)計(jì)：
| 國家/地區(qū) | 數(shù)量 |
| USA | 22 |
| England | 17 |
| GERMANY (FED REP GER) | 14 |
| Scotland | 9 |
| Belgium | 6 |
| Netherlands | 6 |
| Sweden | 6 |
| France | 5 |
| Australia | 4 |
| Denmark | 4 |
2023-2024機(jī)構(gòu)發(fā)文量統(tǒng)計(jì)：
| 機(jī)構(gòu) | 數(shù)量 |
| UNIVERSITY OF EDINBURGH | 8 |
| KU LEUVEN | 5 |
| INRIA | 4 |
| UNIVERSITY OF CAMBRIDGE | 4 |
| UNIVERSITY OF NEW SOUTH WALES SY... | 4 |
| UNIVERSITY OF OXFORD | 4 |
| DELFT UNIVERSITY OF TECHNOLOGY | 3 |
| EBERHARD KARLS UNIVERSITY OF TUB... | 3 |
| IMPERIAL COLLEGE LONDON | 3 |
| NORTHEASTERN UNIVERSITY | 3 |
近年引用統(tǒng)計(jì)：
| 期刊名稱 | 數(shù)量 |
| 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 |
近年被引用統(tǒng)計(jì)：
| 期刊名稱 | 數(shù)量 |
| 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 |
近年文章引用統(tǒng)計(jì)：
| 文章名稱 | 數(shù)量 |
| Iris from the ground up A modula... | 5 |
| The verified CakeML compiler bac... | 2 |
| Push versus pull-based loop fusi... | 2 |
| A theory of RPC calculi for clie... | 2 |
| POPLMark reloaded: Mechanizing p... | 2 |
| On the expressive power of user-... | 2 |
| Systematic identification and co... | 1 |
| The full-reducing Krivine abstra... | 1 |
| Foundations of dependent interop... | 1 |
| How to prove decidability of equ... | 0 |
| 同小類學(xué)科的其他優(yōu)質(zhì)期刊 | 影響因子 | 中科院分區(qū) |
| Journal Of Field Robotics | 4.2 | 2區(qū) |
| Computer Science Review | 13.3 | 1區(qū) |
| Computer Networks | 4.4 | 2區(qū) |
| Journal Of Computational Science | 3.1 | 3區(qū) |
| Ict Express | 4.1 | 3區(qū) |
| Computer Speech And Language | 3.1 | 3區(qū) |
| Applied Artificial Intelligence | 2.9 | 4區(qū) |
| Neurocomputing | 5.5 | 2區(qū) |
| Iet Software | 1.5 | 4區(qū) |
| International Journal Of Approximate Reasoning | 3.2 | 3區(qū) |
若用戶需要出版服務(wù)，請聯(lián)系出版商：CAMBRIDGE UNIV PRESS, 32 AVENUE OF THE AMERICAS, NEW YORK, USA, NY, 10013-2473。
