欧州aV_亚洲三级操逼_亚洲性爱男人的天堂_黄色a√在线_欧美一区二区三区久久网_一级日韩毛

欧州aV_亚洲三级操逼_亚洲性爱男人的天堂_黄色a√在线_欧美一区二区三区久久网_一级日韩毛

欧州aV_亚洲三级操逼_亚洲性爱男人的天堂_黄色a√在线_欧美一区二区三区久久网_一级日韩毛

Journal Of Functional Programming期刊
人气 668
加入收藏

Journal Of Functional Programming

SCIE

《Journal Of Functional Programming》创刊于1991年，是一本计算机科学国际学术期刊，出版语言为English，年发文量11。预计审稿周期约 12周，或约稿 ，近三年曾被列入预警期刊名单。

中科院 3区
JCR Q4
Citescore 1.7
TOP期刊 否
ISSN: 0956-7968
出版地区: ENGLAND
E-ISSN: 1469-7653
出版周期: Bimonthly
出版商: Cambridge University Press
创刊时间: 1991年
国际简称: J FUNCT PROGRAM
出版语言: English
研究方向: 计算机：软件工程-工程技术
中文名称: 函数式编程杂志

Journal Of Functional Programming杂志简介

《Journal Of Functional Programming》由Cambridge University Press出版社出版，是计算机：软件工程领域的国际权威期刊。自1991年创刊以来，该刊始终致力于发表计算机科学领域的原创性、前瞻性研究成果，尤其关注计算机科学领域的理论、政策与实践。该刊被SCIE数据库收录，在JCR学科，按JIF指标学科分区学科“COMPUTER SCIENCE, SOFTWARE ENGINEERING”中位于Q4区；按JCI指标学科分区学科“COMPUTER SCIENCE, SOFTWARE ENGINEERING”中位于Q4区；中国科学院期刊分区为大类计算机科学3区，小类计算机：软件工程2区。此外，在CiteScore学科分类中，该刊在“Software”小类中位列Q4区，排名335 / 407，显示出在计算机：软件工程领域的突出影响力。

作为一本非开放获取期刊，《Journal Of Functional Programming》2023年发文量在11篇，研究类论文占比为100.00%。期刊最新影响因子为1.1 ，CiteScore为1.7，学术影响力持续稳健。该刊面向全球研究者，为探讨计算机：软件工程领域提供了高水平的学术交流平台。

WOS期刊JCR分区（2023-2024年最新版）

按JIF指标学科分区 收录子集 分区 排名 百分位
COMPUTER SCIENCE, SOFTWARE ENGINEERING SCIE Q4 101 / 131

23.3%
按JCI指标学科分区 收录子集 分区 排名 百分位
COMPUTER SCIENCE, SOFTWARE ENGINEERING SCIE Q4 103 / 131

21.76%

CiteScore（2025年最新版）

CiteScore数据趋势图

  • CiteScore：1.7
  • SJR：0.484
  • SNIP：0.847
学科 分区 排名 百分位
大类：Computer Science 小类：Software Q4 335 / 407

17%

Journal Of Functional Programming中国科学院期刊分区

中国科学院期刊分区趋势图

中国科学院期刊分区 （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区
否 否

Journal Of Functional Programming高引用文章

  • 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

Journal Of Functional Programming学术指标

年份 影响因子 年发文量 引文指标 自引率 CiteScore
2023 1.1 - 11 - 0.34 - 0 - 1.7 -
2022 1.1 - 12 - 0.4 - 0 - 1.4 -
2021 1.543 - 28 - 0.66 - 3.7 - 1.1 -
2020 0.529 - 19 - 0.26 - 11 - 5.5 -
2019 0.595 - 16 - 0.3 - 7.9 - 3.4 -
2018 0.837 - 18 - 0.35 - 8.4 - 2.2 -

国家/地区发文量

国家/地区 发文量
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
欧州aV_亚洲三级操逼_亚洲性爱男人的天堂_黄色a√在线_欧美一区二区三区久久网_一级日韩毛
亚洲国产免费自1| 一区二区三区高清| 97人妻中文字幕| 五月天婷婷啪啪| 亚洲黄色AV电影| 91人影院| 97超碰老师| 人人干AV在线观看| 91超碰对对碰高清| 97黄色片| 无码人妻日韩精品A片| 大香蕉久久伊人| 玖玖资源Av| 免费三级AAA片| 日韩姓爱精品无码一| 黄色av影片| 久草视频6| 亚洲做爱视频| 97色色综合| 秋霞人人操三区| 日韩无码av网址| 亚州色图3| 免费国产a级片| 伊人免费视频5| 韩日AV| 家庭版三级黄色视频| 台湾成人AV在线| 黄色AV天| AV超碰导航| AV天涯免费| 啊啊啊成人| 亚洲日韩欧美三级a片| 久草黄色视频| 最新AV资源网| 亚洲无码另类一区二区| 97色色色五月| 国产三级aaa| 亚洲天堂成人网| 黄色三级片网站在线观看| 91精品亚洲| 日韩高清Av|