Journal Information
Journal of Functional Programming (JFP)
https://www.cambridge.org/core/journals/journal-of-functional-programmingImpact Factor: |
1.100 |
Publisher: |
Cambridge University Press |
ISSN: |
0956-7968 |
Viewed: |
16718 |
Tracked: |
3 |
Call For Papers
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.
Last updated by Dou Sun in 2024-08-13
Related Journals
| CCF | Full Name | Impact Factor | Publisher | 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 |
| Full Name | Impact Factor | Publisher |
|---|---|---|
| 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 |
Related Conferences
| Short | Full Name | Conference |
|---|---|---|
| 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 |