仕訳帳情報
Journal of Functional Programming (JFP)
https://www.cambridge.org/core/journals/journal-of-functional-programmingインパクト ・ ファクター: |
1.100 |
出版社: |
Cambridge University Press |
ISSN: |
0956-7968 |
閲覧: |
16717 |
追跡: |
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 |
|---|---|---|---|---|
| Cogent Engineering | Cogent OA | 2331-1916 | ||
| IEEE Internet of Things Magazine | IEEE | 2576-3180 | ||
| c | International Journal of Pattern Recognition and Artificial Intelligence | 0.900 | World Scientific | 0218-0014 |
| Spatial Statistics | 2.100 | Elsevier | 2211-6753 | |
| IEEE Transactions on Education | 2.100 | IEEE | 0018-9359 | |
| IEEE/ASME Transactions on Mechatronics | 6.100 | IEEE | 1083-4435 | |
| IEEE Transactions on Control Systems Technology | 4.900 | IEEE | 1063-6536 | |
| Journal of Combinatorial Optimization | 0.900 | Springer | 1382-6905 | |
| Quantum Information Processing | 2.200 | Springer | 1570-0755 | |
| c | IEEE Transactions on Circuits and Systems I: Regular Papers | 5.200 | IEEE | 1549-8328 |
| 完全な名前 | インパクト ・ ファクター | 出版社 |
|---|---|---|
| Cogent Engineering | Cogent OA | |
| IEEE Internet of Things Magazine | IEEE | |
| International Journal of Pattern Recognition and Artificial Intelligence | 0.900 | World Scientific |
| Spatial Statistics | 2.100 | Elsevier |
| IEEE Transactions on Education | 2.100 | IEEE |
| IEEE/ASME Transactions on Mechatronics | 6.100 | IEEE |
| IEEE Transactions on Control Systems Technology | 4.900 | IEEE |
| Journal of Combinatorial Optimization | 0.900 | Springer |
| Quantum Information Processing | 2.200 | Springer |
| IEEE Transactions on Circuits and Systems I: Regular Papers | 5.200 | IEEE |
関連会議
| 省略名 | 完全な名前 | 会議日 |
|---|---|---|
| ICSR | International Conference on Software and Systems Reuse | 2025-04-27 |
| INCET | IEEE International Conference for Emerging in Technology | 2022-05-27 |
| ICGHIT | International Conference on Green and Human Information Technology | 2025-01-15 |
| ECOOP | European Conference on Object-Oriented Programming | 2026-06-29 |
| GISTAM | International Conference on Geographical Information Systems Theory, Applications and Management | 2016-04-26 |
| MFPS | International Conference on the Mathematical Foundations of Programming Semantics | 2015-06-22 |
| ESOP | European Symposium on Programming | 2025-05-03 |
| COLT | Annual Conference on Learning Theory | 2025-06-30 |
| ICFP | ACM SIGPLAN International Conference on Functional Programming | 2025-10-12 |
| EdgeBlock | IEEE International Symposium on Edge Computing and Blockchain | 2020-07-06 |