期刊信息
Journal of Functional Programming (JFP)
https://www.cambridge.org/core/journals/journal-of-functional-programming影响因子: |
1.100 |
出版商: |
Cambridge University Press |
ISSN: |
0956-7968 |
浏览: |
13175 |
关注: |
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 |
|---|---|---|---|---|
| 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 |
| 全称 | 影响因子 | 出版商 |
|---|---|---|
| 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 |
相关会议
| CCF | CORE | QUALIS | 简称 | 全称 | 截稿日期 | 通知日期 | 会议日期 |
|---|---|---|---|---|---|---|---|
| MCCMB | Moscow Conference on Computational Molecular Biology | 2019-03-10 | 2019-04-01 | 2019-07-27 | |||
| b | a* | a2 | ICFP | ACM SIGPLAN International Conference on Functional Programming | 2024-02-28 | 2024-05-20 | 2024-09-02 |
| b | a* | a2 | COLT | Annual Conference on Learning Theory | 2024-02-09 | 2024-05-10 | 2024-06-30 |
| a | a2 | ESOP | European Symposium on Programming | 2024-10-10 | 2024-12-19 | 2025-05-03 | |
| b4 | MFPS | International Conference on the Mathematical Foundations of Programming Semantics | 2015-04-03 | 2015-05-15 | 2015-06-22 | ||
| GISTAM | International Conference on Geographical Information Systems Theory, Applications and Management | 2015-12-10 | 2016-02-03 | 2016-04-26 | |||
| b | a | a1 | ECOOP | European Conference on Object-Oriented Programming | 2024-04-17 | 2024-06-11 | 2024-09-16 |
| ICTVC | International Conference on Typography & Visual Communication | 2018-12-10 | 2019-01-20 | 2019-06-19 | |||
| NMCO | International Conference on Networks, Mobile Communication | 2022-05-28 | 2022-06-07 | 2022-06-18 | |||
| c | b | b1 | ICSR | International Conference on Software and Systems Reuse | 2024-11-18 | 2025-01-10 | 2025-04-27 |
| 简称 | 全称 | 截稿日期 | 会议日期 |
|---|---|---|---|
| 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 |
推荐