《函數(shù)編程雜志》是唯一一本專(zhuān)門(mén)研究函數(shù)編程語(yǔ)言的設(shè)計(jì)、實(shí)現(xiàn)和應(yīng)用的雜志，涵蓋了從數(shù)學(xué)理論到工業(yè)實(shí)踐的各個(gè)領(lǐng)域。主題包括功能語(yǔ)言和擴(kuò)展、實(shí)現(xiàn)技術(shù)、推理和證明、程序轉(zhuǎn)換和合成、類(lèi)型系統(tǒng)、類(lèi)型理論、基于語(yǔ)言的安全性、內(nèi)存管理、并行性和應(yīng)用程序。專(zhuān)用軌道主要用于工具和應(yīng)用、商業(yè)用途和教育；鼓勵(lì)使用珍珠型紙張。

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.