Journal Of Functional Programming
期刊全称
Journal Of Functional Programming (J FUNCT PROGRAM)
期刊别名
功能编程学报
ISSN
0956-7968
EISSN
1469-7653
最新影响因子
0.6
5年影响因子
1.2
是否OA
是
中科院分区大类
计算机科学3区
中科院分区小类
计算机：软件工程2区
JCR分区学科名称
COMPUTER SCIENCE, SOFTWARE ENGINEERING
JCR分区 (排名)
Q4 (118/128)
期刊介绍
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.
出版周期
Bimonthly
出版年份
1991
期刊收录情况
Science Citation Index Expanded、Current Contents - Engineering, Computing & Technology
语言
English
出版国家
United Kingdom 英国
出版社名称
Cambridge University Press
出版社缩写
---