Concept
Journal of Functional Programming
Overview
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.
As of 2026, the journal is published as diamond open access: the journal articles are available online without a subscription, and there are no author-processing charges. This follows a change of publisher from Cambridge University Press to Episciences. All previous volumes of the journal published by Cambridge University Press were made freely available.
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Possible passages
Found by search and not yet checked by a person; they may only mention the idea in passing.
To complete this rapid general enumeration of the different essential parts of the calculus of direct functions, I must, lastly, mention expressly one of the most fruitful and important theories of algebra proper, that relating to the transformation of functions into series by the aid of what is called the _Method of indeterminate Coefficients_. This method, so eminently analytical, and which must be regarded as one…
Auguste Comte, The philosophy of mathematics
States what Journal of Functional Programming is.
The theory of continuity, with which we shall be occupied in the present lecture, is, in most of its refinements and developments, a purely mathematical subject--very beautiful, very important, and very delightful, but not, strictly speaking, a part of philosophy. The logical basis of the theory alone belongs to philosophy, and alone will occupy us to-night. The way the problem of continuity enters into philosophy…
Bertrand Russell, Our Knowledge of the External World as a Field for Scientific Method in Philosophy
States what Journal of Functional Programming is.
Any such select set is called the set of postulates, or premises, from which the reasoning proceeds. The reasoning is nothing else than the exhibition of the whole pattern of general conditions involved in the pattern derived from the selected postulates.
Alfred North Whitehead, Science and the modern world
States what Journal of Functional Programming is.
Related ideas
Place in the tradition
Part of Type theory.
Explore Journal of Functional Programming in the interactive graph →