中文簡(jiǎn)介

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

投稿網(wǎng)址：https://mc.manuscriptcentral.com/jfp_submit

英文簡(jiǎn)介

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.