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.
《函数编程杂志》是唯一一本专门研究函数编程语言的设计、实现和应用的杂志,涵盖了从数学理论到工业实践的各个领域。主题包括功能语言和扩展、实现技术、推理和证明、程序转换和合成、类型系统、类型理论、基于语言的安全性、内存管理、并行性和应用程序。专用轨道主要用于工具和应用、商业用途和教育;鼓励使用珍珠型纸张。
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 3区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机:软件工程 | 3区 | 否 | 否 |
| JCR分区等级 | JCR所属学科 | 分区 | 影响因子 |
| Q3 | COMPUTER SCIENCE, SOFTWARE ENGINEERING | Q3 | 1.543 |
专业选刊推荐与投稿全程指导
根据研究方向推荐合适期刊
专业学术文章翻译与校对
英美母语专家润色提升论文质量,专业学术文章翻译与校对
一对一导师全程指导
专业学术著作出版服务
中国发明专利、实用新型专利
科研数据分析与可视化