Journal of Functional Programming

期刊简介：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.

【译文】《功能编程杂志》是唯一一本专注于功能编程语言的设计、实现和应用，涵盖从数学理论到工业实践的期刊。涉及的主题包括功能语言及其扩展、实现技术、推理和证明、程序转换和综合、类型系统、类型理论、基于语言的网络安全、内存管理、并行性和应用。这本期刊对计算机科学家、软件工程师、编程语言研究人员以及对编程逻辑基础感兴趣的数学家都很有兴趣。