宗旨和范围
The Journal of Functional Programming is a peer-reviewed scientific journal covering 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. The journal is of interest to computer scientists, software engineers, programming language researchers, and mathematicians interested in the logical foundations of programming. Philip Wadler was editor-in-chief from 1990 to 2004. The journal is indexed in Zentralblatt MATH. Less
关键指标
期刊详情
Indexed in the following public directories
Web of Science
Inspec
SJR
- 出版商CAMBRIDGE UNIV PRESS
- 出版语言English
- 出版频率Continuous publication
- 出版语言English
- 出版频率Continuous publication
- 创刊年份1991
- Publisher URL
- 网址
Topics Covered on Journal of Functional Programming
年度发行情况
- 5Y
- 10Y
常见问题
Journal of Functional Programming 是从何时开始发行的? 
Journal of Functional Programming 自1991开始发行至今。
Journal of Functional Programming 多久发行一次? 
Journal of Functional Programming 为Continuous publication。
Journal of Functional Programming 的出版商是谁? 
Journal of Functional Programming 的出版商是CAMBRIDGE UNIV PRESS。
我在哪里查看 Journal of Functional Programming 的宗旨和范围? 
查看 Journal of Functional Programming 的宗旨和范围,请点击此处。
我如何在意得辑上查看Journal of Functional Programming 的指标? 
查看 Journal of Functional Programming 的指标,请单击此处。
Journal of Functional Programming 的 eISSN和pISSN 号分别是什么? 
1469-7653 的 eISSN 为 0956-7968,pISSN 为 Journal of Functional Programming 。
该期刊重点关注哪些主题? 
本期刊关注的主题范围广泛,包括 [object Object], [object Object], [object Object], [object Object], [object Object], [object Object], [object Object]。
为什么搜索适合我研究的期刊很重要? 
选择与您研究领域紧密相关的期刊,有助于确保您的学术成果能够触及最合适的读者群体, 从而最大化您的学术影响力和对该领域的贡献。
对期刊的选择会影响我的学术事业吗? 
当然。在知名期刊上发表论文可提升您的学术形象, 使您在获取资助、终身教职和其他职业机会方面更具竞争力。
只考虑具有高影响力的期刊是否明智? 
虽然高影响力的期刊知名度高,但投稿竞争也相对激烈。因此, 关键在于权衡考虑期刊的影响因子与论文被接受的可能性。
