查看最新文献
订阅
分享
1570期刊缩写：
J. Funct. Program.
影响因子：
1.1
ISSN：
print: 0956-7968
on-line: 1469-7653
on-line: 1469-7653
研究领域：
工程技术-计算机：软件工程
创刊年份：
1991年
h-index：
47
自引率：
0.00%
Gold OA文章占比：
64.71%
原创研究文献占比：
100.00%
SCI收录类型：
Science Citation Index Expanded (SCIE) || Scopus (CiteScore)
期刊官网：
期刊介绍英文：
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.
CiteScore：
| CiteScore | SJR | SNIP | CiteScore排名 |
|---|---|---|---|
| 1.7 | 0.484 | 0.847 | 学科 排名 百分位 大类：Computer Science 小类：Software 335 / 407 17% |
发文信息
中科院SCI期刊分区
| 大类 | 小类 | TOP期刊 | 综述期刊 |
|---|---|---|---|
| 3区 计算机科学 |
2区
计算机：软件工程
COMPUTER SCIENCE, SOFTWARE ENGINEERING
|
否 | 否 |
WOS期刊分区
| 学科分类 |
|---|
Q4COMPUTER SCIENCE, SOFTWARE ENGINEERING |
历年影响因子
| 2015年 | 1.3570 |
|---|---|
| 2016年 | 0.6770 |
| 2017年 | 0.7030 |
| 2018年 | 0.8370 |
| 2019年 | 0.5950 |
| 2020年 | 0.5290 |
| 2021年 | 1.5430 |
| 2022年 | 1.1000 |
| 2023年 | 1.1000 |
历年发表
| 2012年 | 44 |
|---|---|
| 2013年 | 29 |
| 2014年 | 35 |
| 2015年 | 25 |
| 2016年 | 34 |
| 2017年 | 23 |
| 2018年 | 22 |
| 2019年 | 24 |
| 2020年 | 31 |
| 2021年 | 33 |
| 2022年 | 9 |
投稿信息
出版周期：
Bimonthly
出版语言：
English
出版国家(地区)：
ENGLAND
审稿时长：
>12 weeks
出版商：
Cambridge University Press
编辑部地址：
CAMBRIDGE UNIV PRESS, 32 AVENUE OF THE AMERICAS, NEW YORK, USA, NY, 10013-2473
Journal of Functional Programming - 最新文献
Signature restriction for polymorphic algebraic effects
Pub Date : 2024-05-27 DOI: 10.1017/s0956796824000054 TARO SEKIYAMA, TAKESHI TSUKADA, ATSUSHI IGARASHIAsymptotic speedup via effect handlers
Pub Date : 2024-04-05 DOI: 10.1017/s0956796824000030 DANIEL HILLERSTRÖM, SAM LINDLEY, JOHN LONGLEYStatic Blame for gradual typing
Pub Date : 2024-03-25 DOI: 10.1017/s0956796824000029 CHENGHAO SU, LIN CHEN, LI YANHUI, YUMING ZHOU
免责声明：
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
京公网安备 11010802042870号
