函数式编程杂志

期刊简介

《函数式编程杂志》是唯一一本专门讨论函数式编程语言的设计、实现和应用的杂志，涵盖从数学理论到工业实践的各个领域。涵盖的主题包括函数式语言和扩展、实现技术、推理和证明、程序转换和综合、类型系统、类型理论、基于语言的安全性、内存管理、并行性和应用程序。该杂志吸引了对编程逻辑基础感兴趣的计算机科学家、软件工程师、编程语言研究人员和数学家。

函数式编程杂志创刊于1991年，由Cambridge University Press出版社出版。其研究的主题领域包括但不限于工程技术-计算机：软件工程，是一本在计算机科学领域具有重要影响力的国际期刊。该期刊涵盖了计算机科学的多个子领域，旨在全面理解和解决计算机科学问题。

根据最新的数据，函数式编程杂志的影响因子为1，CiteScore为1.3，h-index为47，SJR为0.29，SNIP为0.617，中科院分区为4区，这些指标均显示了该期刊在计算机科学领域的优秀地位。

该刊以English作为出版语言。对于English非母语的作者，期刊建议使用语言编辑服务，以确保文稿的语法和拼写错误得到纠正，并符合科学English的标准。如果想实现快速顺利的投稿发表，建议您联系本站的客服团队，将为您提供专业的选刊建议，并在整个投稿过程中提供细致的指导。