Journal of Functional Programming

Journal of Functional Programming
期刊缩写:
J. Funct. Program.
影响因子:
1.1
ISSN:
print: 0956-7968
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:
CiteScoreSJRSNIPCiteScore排名
1.70.4840.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 IGARASHI

Asymptotic speedup via effect handlers

Pub Date : 2024-04-05 DOI: 10.1017/s0956796824000030 DANIEL HILLERSTRÖM, SAM LINDLEY, JOHN LONGLEY

Static Blame for gradual typing

Pub Date : 2024-03-25 DOI: 10.1017/s0956796824000029 CHENGHAO SU, LIN CHEN, LI YANHUI, YUMING ZHOU
查看全部
免责声明:
本页显示期刊或杂志信息,仅供参考学习,不是任何期刊杂志官网,不涉及出版事务,特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题,请联系我们,邮箱:info@booksci.cn,我们会认真核实处理。
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信