仕訳帳情報
Journal of Functional Programming (JFP)
http://journals.cambridge.org/action/displayJournal?jid=JFPインパクト ・ ファクター: |
1.37 |
出版社: |
Cambridge University Press |
ISSN: |
0956-7968 |
閲覧: |
11647 |
追跡: |
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 |
おすすめ