期刊信息
Journal of Functional Programming (JFP)
http://journals.cambridge.org/action/displayJournal?jid=JFP影响因子: |
1.37 |
出版商: |
Cambridge University Press |
ISSN: |
0956-7968 |
浏览: |
11725 |
关注: |
2 |
征稿
Journal of Functional Programming 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 在 2013-10-03
相关期刊
| CCF | 全称 | 影响因子 | 出版商 | ISSN |
|---|---|---|---|---|
| Mathematical Programming | 3.995 | Springer | 0025-5610 | |
| VLSI Design | Hindawi | 1065-514X | ||
| c | International Journal on Document Analysis and Recognition | 2.085 | Springer | 1433-2833 |
| b | Science of Computer Programming | 0.863 | Elsevier | 0167-6423 |
| b | Computational Complexity | 0.487 | Springer | 1016-3328 |
| Combinatorial Chemistry & High Throughput Screening | Bentham | 1386-2073 | ||
| Magnetic Resonance Imaging | 2.546 | Elsevier | 0730-725X | |
| c | Signal Processing: Image Communication | 3.256 | Elsevier | 0923-5965 |
| IEEE Transactions on Signal Processing | 5.230 | IEEE | 1053-587X | |
| Journal of Universal Computer Science | 0.546 | Verlag der Technischen Universitat Graz | 0948-695x |
| 全称 | 影响因子 | 出版商 |
|---|---|---|
| Mathematical Programming | 3.995 | Springer |
| VLSI Design | Hindawi | |
| International Journal on Document Analysis and Recognition | 2.085 | Springer |
| Science of Computer Programming | 0.863 | Elsevier |
| Computational Complexity | 0.487 | Springer |
| Combinatorial Chemistry & High Throughput Screening | Bentham | |
| Magnetic Resonance Imaging | 2.546 | Elsevier |
| Signal Processing: Image Communication | 3.256 | Elsevier |
| IEEE Transactions on Signal Processing | 5.230 | IEEE |
| Journal of Universal Computer Science | 0.546 | Verlag der Technischen Universitat Graz |
相关会议
| 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 |
| b4 | MFPS | International Conference on the Mathematical Foundations of Programming Semantics | 2015-04-03 | 2015-05-15 | 2015-06-22 | ||
| a | a2 | ESOP | European Symposium on Programming | 2023-10-12 | 2023-12-21 | 2024-04-06 | |
| 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 | 2022-02-04 | 2022-03-06 | 2022-06-15 |
| 简称 | 全称 | 截稿日期 | 会议日期 |
|---|---|---|---|
| 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 |
| MFPS | International Conference on the Mathematical Foundations of Programming Semantics | 2015-04-03 | 2015-06-22 |
| ESOP | European Symposium on Programming | 2023-10-12 | 2024-04-06 |
| 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 | 2022-02-04 | 2022-06-15 |
推荐