仕訳帳情報
Journal of Functional Programming (JFP)
https://www.cambridge.org/core/journals/journal-of-functional-programmingインパクト ・ ファクター: |
1.100 |
出版社: |
Cambridge University Press |
ISSN: |
0956-7968 |
閲覧: |
12761 |
追跡: |
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 | 2023-10-12 | 2023-12-21 | 2024-04-06 | |
| 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 | 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 |
| ESOP | European Symposium on Programming | 2023-10-12 | 2024-04-06 |
| 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 | 2022-02-04 | 2022-06-15 |
おすすめ