期刊信息
Journal of Functional Programming (JFP)
https://www.cambridge.org/core/journals/journal-of-functional-programming影响因子: |
1.100 |
出版商: |
Cambridge University Press |
ISSN: |
0956-7968 |
浏览: |
19172 |
关注: |
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 |
|---|---|---|---|---|
| IEEE Transactions on Signal Processing | 5.8 | IEEE | 1053-587X | |
| Sustainable Computing | 5.7 | Elsevier | 2210-5379 | |
| IEEE Transactions on Computational Imaging | 4.8 | IEEE | 2573-0436 | |
| c | Signal Processing | 3.6 | Elsevier | 0165-1684 |
| Mathematical Programming | 2.5 | Springer | 0025-5610 | |
| c | IET Signal Processing | 1.7 | IET | 1751-9675 |
| b | Science of Computer Programming | 1.4 | Elsevier | 0167-6423 |
| c | Theory and Practice of Logic Programming | 1.400 | Cambridge University Press | 1471-0684 |
| b | Journal of Functional Programming | 1.100 | Cambridge University Press | 0956-7968 |
| International Journal of Parallel Programming | 0.900 | Springer | 0885-7458 |
相关会议
| CCF | CORE | QUALIS | 简称 | 全称 | 截稿日期 | 通知日期 | 会议日期 |
|---|---|---|---|---|---|---|---|
| b | a | a2 | CP | International Conference on Principles and Practice of Constraint Programming | 2026-02-28 | 2026-04-30 | 2026-07-20 |
| b | a* | a2 | ICFP | ACM SIGPLAN International Conference on Functional Programming | 2026-02-19 | 2026-05-14 | 2026-08-23 |
| b | a | a1 | ECOOP | European Conference on Object-Oriented Programming | 2026-02-12 | 2026-04-09 | 2026-06-29 |
| b1 | EuroGP | European Conference on Genetic Programming | 2025-11-01 | 2026-01-10 | 2026-04-08 | ||
| a | a2 | ESOP | European Symposium on Programming | 2024-10-10 | 2024-12-19 | 2025-05-03 | |
| a | b1 | ICLP | International Conference on Logic Programming | 2022-01-14 | 2022-03-14 | 2022-07-31 | |
| c | b | b1 | ILP | International Conference on Inductive Logic Programming | 2021-06-25 | 2021-08-05 | 2021-10-25 |
| b | b1 | EUSIPCO | European Signal Processing Conference | 2017-03-05 | 2017-05-25 | 2017-08-28 | |
| b4 | MFPS | International Conference on the Mathematical Foundations of Programming Semantics | 2015-04-03 | 2015-05-15 | 2015-06-22 | ||
| a | b1 | FLOPS | International Symposium on Functional and Logic Programming | 2011-12-16 | 2012-02-03 | 2012-05-23 |