欧州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√在线_欧美一区二区三区久久网_一级日韩毛
亚洲杏吧视频在线观看| 91主播在线观看亚洲| av,com1234| 2002超碰在线| 一级黄色免费观看| 大香蕉久久肏屄| 中国一級片黃色一級片黃| 淫色五月| 亚洲无码少妇av| 毛片电影一区二区三区| 岛国av黄色电影| 无码人妻波多野结衣| 人人97操| 成人黄A片视频| 免费黄色成人A片| 日韩A片在线播放| 蜜臀.av日韩无码| 日韩高清Av| 97国产视频| 亚洲操逼操| AV免费看看| 黄色A片在线看| 二本av| AV天堂久久久| 亚洲性爱一区| 中日韩成人无码| 日韩一级mv| 人人操成人在线| 欧美A级无码片| 免费特黄久久久毛片| 91啊啊啊| 成人三级无码| 情侣 自拍 av 无码| 国产精品一页| 91人妻免费视频。| 久久青青视频| 成人日韩无码| 密袖免费入囗| 爱爱小电影| 裸体无码人A片免费看| 日本美女a级毛片|