Journal of Functional Programming
Encyclopedia
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–2004. The journal is indexed in Zentralblatt MATH
.
Peer review
Peer review is a process of self-regulation by a profession or a process of evaluation involving qualified individuals within the relevant field. Peer review methods are employed to maintain standards, improve performance and provide credibility...
scientific journal
Scientific journal
In academic publishing, a scientific journal is a periodical publication intended to further the progress of science, usually by reporting new research. There are thousands of scientific journals in publication, and many more have been published at various points in the past...
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
Philip Wadler
Philip Wadler is a computer scientist known for his contributions to programming language design and type theory. In particular, he has contributed to the theory behind functional programming and the use of monads in functional programming, the design of the purely functional language Haskell, and...
was editor-in-chief from 1990–2004. The journal is indexed in Zentralblatt MATH
Zentralblatt MATH
Zentralblatt MATH is a service providing reviews and abstracts for articles in pure and applied mathematics, published by Springer Science+Business Media. It is a major international reviewing service which covers the entire field of mathematics...
.
See also
- Journal of Functional and Logic Programming
- Higher-Order and Symbolic ComputationHigher-Order and Symbolic ComputationHigher-Order and Symbol Computation is a computer science journal published by Springer Science+Business Media. It focusses on programming concepts and abstractions and programming language theory.- Editors :Former editors-in-chief of the journal have been:* Richard P...