JOURNAL OF FUNCTIONAL PROGRAMMING Q4区

期刊收录：
SCIE
Scopus

函数式编程杂志

ISSN：
0956-7968
影响因子：
1.1
是否综述期刊：
否
是否预警：
不在预警名单内
是否OA：
否
jcr分区：
Q4区
发刊时间：
1991
发刊频率：
Bimonthly
中科院大类：
计算机科学

出版信息

出版国家
ENGLAND
出版社：
Cambridge University Press
数据库：
SCIE,Scopus
年发文量：
12
国人发稿量：
0.24
自引率：
-

平均录取率:0
平均审稿周期:12周，或约稿
版面费:US$1705
研究类文章占比100.00%
被引用占比:-
偏重研究方向:工程技术-计算机：软件工程

杂志官网投稿链接关注公众号

期刊关键词

SCIE Scopus COMPUTER SCIENCE SOFTWARE ENGINEERING Q4 计算机科学 2区计算机：软件工程

期刊简介

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.

Journal of Functional Programming是唯一一本专门致力于函数式编程语言的设计、实现和应用的期刊，涵盖了从数学理论到工业实践的范围。涵盖的主题包括函数式语言和扩展、实现技术、推理和证明、程序转换和合成、类型系统、类型理论、基于语言的安全性、内存管理、并行性和应用。该杂志是感兴趣的计算机科学家，软件工程师，编程语言研究人员和数学家感兴趣的逻辑基础的编程。

《JOURNAL OF FUNCTIONAL PROGRAMMING》期刊已被查看：次