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. Special tracks are devoted to tools and applications, commercial uses and education; pearl-type papers are encouraged.

《函数编程杂志》是唯一一本专门研究函数编程语言的设计、实现和应用的杂志，涵盖了从数学理论到工业实践的各个领域。主题包括功能语言和扩展、实现技术、推理和证明、程序转换和合成、类型系统、类型理论、基于语言的安全性、内存管理、并行性和应用程序。专用轨道主要用于工具和应用、商业用途和教育；鼓励使用珍珠型纸张。