期刊信息
Journal of Functional Programming (JFP)
https://www.cambridge.org/core/journals/journal-of-functional-programming影响因子: |
1.100 |
出版商: |
Cambridge University Press |
ISSN: |
0956-7968 |
浏览: |
16719 |
关注: |
3 |
征稿
Journal of Functional Programming is an Open Access journal and 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.
最后更新 Dou Sun 在 2024-08-13
相关期刊
| CCF | 全称 | 影响因子 | 出版商 | ISSN |
|---|---|---|---|---|
| Cogent Engineering | Cogent OA | 2331-1916 | ||
| IEEE Internet of Things Magazine | IEEE | 2576-3180 | ||
| c | International Journal of Pattern Recognition and Artificial Intelligence | 0.900 | World Scientific | 0218-0014 |
| Spatial Statistics | 2.100 | Elsevier | 2211-6753 | |
| IEEE Transactions on Education | 2.100 | IEEE | 0018-9359 | |
| IEEE/ASME Transactions on Mechatronics | 6.100 | IEEE | 1083-4435 | |
| IEEE Transactions on Control Systems Technology | 4.900 | IEEE | 1063-6536 | |
| Journal of Combinatorial Optimization | 0.900 | Springer | 1382-6905 | |
| Quantum Information Processing | 2.200 | Springer | 1570-0755 | |
| c | IEEE Transactions on Circuits and Systems I: Regular Papers | 5.200 | IEEE | 1549-8328 |
| 全称 | 影响因子 | 出版商 |
|---|---|---|
| Cogent Engineering | Cogent OA | |
| IEEE Internet of Things Magazine | IEEE | |
| International Journal of Pattern Recognition and Artificial Intelligence | 0.900 | World Scientific |
| Spatial Statistics | 2.100 | Elsevier |
| IEEE Transactions on Education | 2.100 | IEEE |
| IEEE/ASME Transactions on Mechatronics | 6.100 | IEEE |
| IEEE Transactions on Control Systems Technology | 4.900 | IEEE |
| Journal of Combinatorial Optimization | 0.900 | Springer |
| Quantum Information Processing | 2.200 | Springer |
| IEEE Transactions on Circuits and Systems I: Regular Papers | 5.200 | IEEE |
相关会议
| 简称 | 全称 | 会议日期 |
|---|---|---|
| ICSR | International Conference on Software and Systems Reuse | 2025-04-27 |
| INCET | IEEE International Conference for Emerging in Technology | 2022-05-27 |
| ICGHIT | International Conference on Green and Human Information Technology | 2025-01-15 |
| ECOOP | European Conference on Object-Oriented Programming | 2026-06-29 |
| GISTAM | International Conference on Geographical Information Systems Theory, Applications and Management | 2016-04-26 |
| MFPS | International Conference on the Mathematical Foundations of Programming Semantics | 2015-06-22 |
| ESOP | European Symposium on Programming | 2025-05-03 |
| COLT | Annual Conference on Learning Theory | 2025-06-30 |
| ICFP | ACM SIGPLAN International Conference on Functional Programming | 2025-10-12 |
| EdgeBlock | IEEE International Symposium on Edge Computing and Blockchain | 2020-07-06 |