來源：學術之家整理 2025-03-18 15:38:45
《Journal Of Functional Programming》中文名稱：《函數式編程雜志》，創刊于1991年，由Cambridge University Press出版商出版，出版周期Bimonthly。
《函數式編程雜志》是唯一一本專門討論函數式編程語言的設計、實現和應用的雜志，涵蓋從數學理論到工業實踐的各個領域。涵蓋的主題包括函數式語言和擴展、實現技術、推理和證明、程序轉換和綜合、類型系統、類型理論、基于語言的安全性、內存管理、并行性和應用程序。該雜志吸引了對編程邏輯基礎感興趣的計算機科學家、軟件工程師、編程語言研究人員和數學家。
旨在及時、準確、全面地報道國內外COMPUTER SCIENCE, SOFTWARE ENGINEERING工作者在該領域的科學研究等工作中取得的經驗、科研成果、技術革新、學術動態等。
| 機構名稱 | 發文量 |
| UNIVERSITY OF EDINBURGH | 8 |
| KU LEUVEN | 5 |
| INRIA | 4 |
| UNIVERSITY OF CAMBRIDGE | 4 |
| UNIVERSITY OF NEW SOUTH... | 4 |
| UNIVERSITY OF OXFORD | 4 |
| DELFT UNIVERSITY OF TEC... | 3 |
| EBERHARD KARLS UNIVERSI... | 3 |
| IMPERIAL COLLEGE LONDON | 3 |
| NORTHEASTERN UNIVERSITY | 3 |
| 國家/地區 | 發文量 |
| USA | 22 |
| England | 17 |
| GERMANY (FED REP GER) | 14 |
| Scotland | 9 |
| Belgium | 6 |
| Netherlands | 6 |
| Sweden | 6 |
| France | 5 |
| Australia | 4 |
| Denmark | 4 |
| 文章引用名稱 | 引用次數 |
| Iris from the ground up A mo... | 5 |
| The verified CakeML compiler... | 2 |
| Push versus pull-based loop ... | 2 |
| A theory of RPC calculi for ... | 2 |
| POPLMark reloaded: Mechanizi... | 2 |
| On the expressive power of u... | 2 |
| Systematic identification an... | 1 |
| The full-reducing Krivine ab... | 1 |
| Foundations of dependent int... | 1 |
| How to prove decidability of... | 0 |
| 被引用期刊名稱 | 數量 |
| J FUNCT PROGRAM | 25 |
| LOG METH COMPUT SCI | 21 |
| J AUTOM REASONING | 14 |
| SCI COMPUT PROGRAM | 10 |
| ACM T PROGR LANG SYS | 9 |
| J LOG ALGEBR METHODS | 8 |
| MATH STRUCT COMP SCI | 7 |
| ELECTRON J COMB | 5 |
| FUND INFORM | 5 |
| J LOGIC COMPUT | 4 |
| 引用期刊名稱 | 數量 |
| J FUNCT PROGRAM | 25 |
| ACM T PROGR LANG SYS | 16 |
| INFORM COMPUT | 15 |
| THEOR COMPUT SCI | 15 |
| COMMUN ACM | 13 |
| J AUTOM REASONING | 11 |
| LOG METH COMPUT SCI | 11 |
| SCI COMPUT PROGRAM | 9 |
| MATH STRUCT COMP SCI | 7 |
| J ACM | 6 |
聲明：該作品系作者結合互聯網公開知識整合。如有錯漏請聯系我們，我們將及時更正。
