中文简介
《函数编程杂志》是唯一一本专门研究函数编程语言的设计、实现和应用的杂志,涵盖了从数学理论到工业实践的各个领域。主题包括功能语言和扩展、实现技术、推理和证明、程序转换和合成、类型系统、类型理论、基于语言的安全性、内存管理、并行性和应用程序。专用轨道主要用于工具和应用、商业用途和教育;鼓励使用珍珠型纸张。
英文简介
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. Special tracks are devoted to tools and applications, commercial uses and education; pearl-type papers are encouraged.
近年期刊自引率趋势图
JCR分区
JCR分区等级 | JCR所属学科 | 分区 | 影响因子 |
Q3 | COMPUTER SCIENCE, SOFTWARE ENGINEERING | Q3 | 1.543 |
近年期刊影响因子趋势图
CiteScore数值
CiteScore | SJR | SNIP | 学科类别 | 分区 | 排名 | 百分位 |
1.10 | 1.352 | 1.131 | 大类:Computer Science 小类:Software | Q4 | 345 / 398 |
13% |
相关工程技术SCI期刊推荐
- SemimonthlyADVANCED MATERIALS
- Journal of Materials Chemistry A
- SemimonthlyAPPLIED CATALYSIS B-ENVIRONMENTAL
- MonthlyADVANCED FUNCTIONAL MATERIALS
- SemimonthlyJOURNAL OF ALLOYS AND COMPOUNDS
- MonthlySmall
- SemimonthlyJOURNAL OF HAZARDOUS MATERIALS
- Materials Science & Engineering C-Materials for Biological Applications
- MonthlyJOURNAL OF THE ELECTROCHEMICAL SOCIETY
- MonthlyBiotechnology for Biofuels