好投稿
搜索

期刊大全 杂志订阅 SCI期刊 投稿指导 期刊服务 文秘服务 出版社 登录/注册 购物车(0)

首页 > SCI期刊 > 计算机科学 > 中科院3区 > JCRQ4 > 期刊介绍
Journal Of Functional Programming

函数式编程杂志 SCIE

Journal Of Functional Programming

12周，或约稿 审稿时间

3区中科院分区

Q4JCR分区

1.1影响因子

0956-7968

1469-7653

J FUNCT PROGRAM

ENGLAND

计算机：软件工程 - 工程技术

否

1991

47

Bimonthly

English

11

--

投稿咨询 加急服务

期刊简介

函数式编程杂志(Journal Of Functional Programming)是一本由Cambridge University Press出版的一本计算机：软件工程-工程技术学术刊物，主要报道计算机：软件工程-工程技术相关领域研究成果与实践。本刊已入选来源期刊，该刊创刊于1991年，出版周期Bimonthly。2021-2022年最新版WOS分区等级：Q4，2023年发布的影响因子为1.1，CiteScore指数1.7，SJR指数0.484。本刊非开放获取期刊。

《函数式编程杂志》是唯一一本专门讨论函数式编程语言的设计、实现和应用的杂志，涵盖从数学理论到工业实践的各个领域。涵盖的主题包括函数式语言和扩展、实现技术、推理和证明、程序转换和综合、类型系统、类型理论、基于语言的安全性、内存管理、并行性和应用程序。该杂志吸引了对编程逻辑基础感兴趣的计算机科学家、软件工程师、编程语言研究人员和数学家。

中科院分区信息

函数式编程杂志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区 否 否
函数式编程杂志2021年12月基础版
大类学科 分区 小类学科 分区 Top期刊 综述期刊
工程技术 4区 COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 4区 否 否
函数式编程杂志2021年12月升级版
大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 3区 COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 3区 否 否
函数式编程杂志2020年12月旧的升级版
大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 3区 COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 3区 否 否
名词解释：

中科院JCR期刊分区（又称分区表、分区数据）是中国科学院文献情报中心世界科学前沿分析中心的科学研究成果。在中科院期刊分区表中，主要参考3年平均IF作为学术影响力，最终每个分区的期刊累积学术影响力是相同的，各区的期刊数量由高到底呈金字塔式分布。

JCR分区信息

Journal Of Functional Programming（2023-2024年最新版数据）
按JIF指标学科分区 收录子集 分区 排名 百分位
学科：COMPUTER SCIENCE, SOFTWARE ENGINEERING SCIE Q4 101 / 131
23.3%
按JCI指标学科分区 收录子集 分区 排名 百分位
学科：COMPUTER SCIENCE, SOFTWARE ENGINEERING SCIE Q4 103 / 131
21.76%
名词解释：

汤森路透每年出版一本《期刊引用报告》（Journal Citation Reports，简称JCR）。JCR对86000多种SCI期刊的影响因子（Impact Factor）等指数加以统计。JCR将收录期刊分为176个不同学科类别在JCR的Journal Ranking中，主要参考当年IF，最终每个分区的期刊数量是均分的。

期刊数据统计

1、Cite Score（2024年最新版）
学科类别 分区 排名 百分位
大类：Computer Science 小类：Software Q4 335 / 407
17%
名词解释：

CiteScore：该指标由Elsevier于2016年提出，指期刊发表的单篇文章平均被引用次数。CiteScorer的计算方式是：例如，某期刊2022年CiteScore的计算方法是该期刊在2019年、2020年和2021年发表的文章在2022年获得的被引次数，除以该期刊2019年、2020年和2021发表并收录于Scopus中的文章数量总和。

2、综合数据
3、本刊综合数据对比及走势

文章引用数据

文章名称 引用次数
  • Iris from the ground up A modular founda...

    5
  • The verified CakeML compiler backend

    2
  • Push versus pull-based loop fusion in qu...

    2
  • A theory of RPC calculi for client-serve...

    2
  • POPLMark reloaded: Mechanizing proofs by...

    2
  • On the expressive power of user-defined ...

    2
  • Systematic identification and communicat...

    1
  • The full-reducing Krivine abstract machi...

    1
  • Foundations of dependent interoperabilit...

    1
  • How to prove decidability of equational ...

    0

期刊被引用数据

期刊名称 引用次数
  • 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

期刊引用数据

期刊名称 引用次数
  • 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

国家/地区发文数据

国家/地区名 数量
  • 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

相关期刊

上一本  Journal Of Friction And Wear
下一本  Journal Of Gastroenterology

SCI期刊导航

大类学科：

医学 工程技术 生物学 农林科学 环境科学与生态学 化学 数学 综合性期刊 物理与天体物理 社会学 地球科学 材料科学 计算机科学 经济学 心理学 教育学 哲学 历史学 文学 艺术学

影响因子：

0-1 1-2 2-3 3-4 4-5 5-6 6-7 7-8 9以上

中科院分区：

1区 2区 3区 4区

JCR分区：

Q1 Q2 Q3 Q4

免责声明

若用户需要出版服务，请联系出版商：CAMBRIDGE UNIV PRESS, 32 AVENUE OF THE AMERICAS, NEW YORK, USA, NY, 10013-2473。