Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Journal of Functional Programming
open-in-new
<p>The <i>Journal of Functional Programming</i> is a <a href="/facts/Peer_review/ly6yEgcW">peer-reviewed</a> <a href="/facts/Scientific_journal/A4Slzknw">scientific journal</a> covering the design, implementation, and application of <a href="/facts/Functional_programming_languages/cdxqPEIM">functional programming languages</a>, 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, <a href="/facts/Language-based_security/TJ1FT3Nt">language-based security</a>, 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. <a href="/facts/Philip_Wadler/ShX91nId">Philip Wadler</a> was <a href="/facts/Editor-in-chief/d76Qb3Tr">editor-in-chief</a> from 1990 to 2004. The journal is indexed in <i><a href="/facts/Zentralblatt_MATH/P6rFxKKx">Zentralblatt MATH</a></i>. </p><p>As of 2022, the journal is published as <a href="/facts/Open_access/r7rLYN6C">open access</a>: the journal articles are available online without a subscription. Author's institutions are expected to cover the journal costs: as of 2022, the <a href="/facts/Article_processing_charge/TGXeo8q3">article processing charge</a> is GBP 1,250 per article. </p>