Journal Of Functional Programming
   HOME

TheInfoList



OR:

The ''Journal of Functional Programming'' is a
peer-reviewed Peer review is the evaluation of work by one or more people with similar competencies as the producers of the work ( peers). It functions as a form of self-regulation by qualified members of a profession within the relevant field. Peer review ...
scientific journal In academic publishing, a scientific journal is a periodical publication designed to further the progress of science by disseminating new research findings to the scientific community. These journals serve as a platform for researchers, schola ...
covering the design, implementation, and application of
functional programming languages In computer science, functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative programming paradigm in which function definitions are trees of expressions that map ...
, 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 In computer science, language-based security (LBS) is a set of techniques that may be used to strengthen the security of applications on a high level by using the properties of programming languages. LBS is considered to enforce computer security o ...
, 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 Philip Lee Wadler (born April 8, 1956) is a UK-based American computer scientist known for his contributions to programming language design and type theory. He holds the position of Personal Chair of theoretical computer science at the Laborato ...
was
editor-in-chief An editor-in-chief (EIC), also known as lead editor or chief editor, is a publication's editorial leader who has final responsibility for its operations and policies. The editor-in-chief heads all departments of the organization and is held accoun ...
from 1990 to 2004. The journal is indexed in ''
Zentralblatt MATH zbMATH Open, formerly Zentralblatt MATH, is a major reviewing service providing reviews and abstracts for articles in pure and applied mathematics, produced by the Berlin office of FIZ Karlsruhe – Leibniz Institute for Information Infrastru ...
''. As of 2022, the journal is published as
open access Open access (OA) is a set of principles and a range of practices through which nominally copyrightable publications are delivered to readers free of access charges or other barriers. With open access strictly defined (according to the 2001 de ...
: the journal articles are available online without a subscription. Author's institutions are expected to cover the journal costs: as of 2022, the
article processing charge An article processing charge (APC), also known as a publication fee, is a fee which is sometimes charged to authors. Most commonly, it is involved in making an academic work available as open access (OA), in either a full OA journal or in a hybri ...
is GBP 1,250 per article.


See also

* International Conference on Functional Programming *''
Higher-Order and Symbolic Computation ''Higher-Order and Symbolic Computation'' (formerly ''LISP and Symbolic Computation'') was a computer science journal published by Springer Science+Business Media. It focuses on programming concepts and abstractions and programming language theor ...
''


References


External links

* {{Official website, https://www.cambridge.org/core/journals/journal-of-functional-programming Bimonthly journals Cambridge University Press academic journals Computer science education in the United Kingdom Computer science in the United Kingdom Computer science journals English-language journals Functional programming Academic journals established in 1991