期刊簡介

《函數式編程雜志》是唯一一本專門討論函數式編程語言的設計、實現和應用的雜志，涵蓋從數學理論到工業實踐的各個領域。涵蓋的主題包括函數式語言和擴展、實現技術、推理和證明、程序轉換和綜合、類型系統、類型理論、基于語言的安全性、內存管理、并行性和應用程序。該雜志吸引了對編程邏輯基礎感興趣的計算機科學家、軟件工程師、編程語言研究人員和數學家。

函數式編程雜志創刊于1991年，由Cambridge University Press出版社出版。其研究的主題領域包括但不限于計算機：軟件工程-工程技術，是一本在計算機科學領域具有重要影響力的國際期刊。該期刊涵蓋了計算機科學的多個子領域，旨在全面理解和解決計算機科學問題。

根據最新的數據，函數式編程雜志的影響因子為1.1，CiteScore為1.7，h-index為47，SJR為0.484，SNIP為0.847，中科院分區為3區，這些指標均顯示了該期刊在計算機科學領域的優秀地位。

該刊以English作為出版語言。對于English非母語的作者，期刊建議使用語言編輯服務，以確保文稿的語法和拼寫錯誤得到糾正，并符合科學English的標準。如果想實現快速順利的投稿發表，建議您聯系本站的客服團隊，將為您提供專業的選刊建議，并在整個投稿過程中提供細致的指導。