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: |
13173 |
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 |
|---|---|---|---|---|
| Image Processing On Line | IPOL | 2105-1232 | ||
| IEEE Internet of Things Magazine | IEEE | 2576-3180 | ||
| b | IEEE Transactions on Automation Science and Engineering | 5.900 | IEEE | 1545-5955 |
| Spatial Statistics | 2.100 | Elsevier | 2211-6753 | |
| IEEE Transactions on Intelligent Vehicles | 14.00 | IEEE | 2379-8858 | |
| Bioprinting | Elsevier | 2405-8866 | ||
| IEEE Open Journal of Control Systems | IEEE | 2694-085X | ||
| c | Real-Time Systems | 1.400 | Springer | 0922-6443 |
| c | IEEE Transactions on Circuits and Systems I: Regular Papers | 5.200 | IEEE | 1549-8328 |
| Journal of Computational Analysis and Applications | Springer | 1521-1398 |
| Full Name | Impact Factor | Publisher |
|---|---|---|
| Image Processing On Line | IPOL | |
| IEEE Internet of Things Magazine | IEEE | |
| IEEE Transactions on Automation Science and Engineering | 5.900 | IEEE |
| Spatial Statistics | 2.100 | Elsevier |
| IEEE Transactions on Intelligent Vehicles | 14.00 | IEEE |
| Bioprinting | Elsevier | |
| IEEE Open Journal of Control Systems | IEEE | |
| Real-Time Systems | 1.400 | Springer |
| IEEE Transactions on Circuits and Systems I: Regular Papers | 5.200 | IEEE |
| Journal of Computational Analysis and Applications | Springer |
Related Conferences
| Short | Full Name | Submission | Conference |
|---|---|---|---|
| MCCMB | Moscow Conference on Computational Molecular Biology | 2019-03-10 | 2019-07-27 |
| ICFP | ACM SIGPLAN International Conference on Functional Programming | 2024-02-28 | 2024-09-02 |
| COLT | Annual Conference on Learning Theory | 2024-02-09 | 2024-06-30 |
| ESOP | European Symposium on Programming | 2024-10-10 | 2025-05-03 |
| MFPS | International Conference on the Mathematical Foundations of Programming Semantics | 2015-04-03 | 2015-06-22 |
| GISTAM | International Conference on Geographical Information Systems Theory, Applications and Management | 2015-12-10 | 2016-04-26 |
| ECOOP | European Conference on Object-Oriented Programming | 2024-04-17 | 2024-09-16 |
| ICTVC | International Conference on Typography & Visual Communication | 2018-12-10 | 2019-06-19 |
| NMCO | International Conference on Networks, Mobile Communication | 2022-05-28 | 2022-06-18 |
| ICSR | International Conference on Software and Systems Reuse | 2024-11-18 | 2025-04-27 |
Recommendation