Home

The Journal of Functional Programming (JFP) is a Diamond Open Access journal and is the only journal devoted solely to the design, implementation, and application of functional programming languages, spanning the range from mathematical theory to industrial practice.

JFP was formerly published by Cambridge University Press (until the end of 2025). Articles published before 2026 (i.e. Volumes 1-35) are archived by CUP and are available on the old CUP JFP website. Articles from Volume 36 onwards will be published here.

Scope of the Journal of Functional Programming

Anything related to functional programming is of interest, including: foundations (semantics, abstract interpretation, lambda calculi, rewriting, logic, type theory, category theory); implementation (compilation, architectures, parallelism, garbage collection, I/O, debugging, profiling); language design (pure and impure language features, non-determinism, side effects, logical variables, relation to other programming paradigms, proofs about programs, program transformation, program synthesis, partial evaluation); applications (applications programs, practical experience, programming techniques, prototyping). Papers may describe original technical work, survey an area, or present a tutorial; and may be either short or long.

What s...

See more

Latest articles

See all articles
Article
Higher-order bialgebraic semantics
Sergey Goncharov, Stefan Milius, Lutz Schröder et al.
Published on Jun 1, 2026
Derek Dreyer
Editorial board, Chief editor, Editor
 Max Planck Institute for Software Systems
Gabriele Keller
ORCID
Editorial board, Chief editor
 Utrecht University
Amal Ahmed
Editorial board, Editor
Kenichi Asai
ORCID
Editorial board
Nick Benton
Editorial board, Editor
Edwin Brady
ORCID
Editorial board, Editor
James Cheney
Editorial board, Editor
 University of Edinburgh
Dominique Devriese
ORCID
Editorial board, Editor
 KU Leuven
Jean-Christophe Filliâtre
Editorial board, Editor
 Laboratoire Méthodes Formelles
Robert Bruce Findler
ORCID
Editorial board, Editor
 Northwestern University
Ronald Garcia
Editorial board, Editor
Jeremy Gibbons
Jeremy Gibbons
ORCID
Editorial board, Editor
 University of Oxford
Fritz Henglein
ORCID
Editorial board, Editor
University of Copenhagen
Ralf Hinze
ORCID
Editorial board, Editor
 Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
Graham Hutton
Graham Hutton
ORCID
Editorial board, Editor
 University of Nottingham
Patrik Jansson
ORCID
Editorial board, Editor
Shriram Krishnamurthi
ORCID
Editorial board, Editor
Sam Lindley
Sam Lindley
ORCID
Editorial board, Editor
 University of Edinburgh
Wu Nicolas
ORCID
Editorial board, Editor
 Imperial College London
Liam O'Connor
ORCID
Editorial board, Editor
Frank Pfenning
ORCID
Editorial board, Editor
 Carnegie Mellon University
Brigitte Pientka
Editorial board, Editor
Norman Ramsey
ORCID
Editorial board, Editor
Michael Sperber
ORCID
Editorial board, Editor
Eijiro Sumii
Editorial board, Editor
Wouter Swierstra
ORCID
Editorial board, Editor
 Utrecht University
Peter Thiemann
Editorial board, Editor
Hu Zhenjiang
Editorial board, Editor
42
Submissions
100 %
Acceptance rate
10 weeks
Median Time submission-publication

Journal indexation

  • MathSciNet
  • Current Contents
  • Science Citation Index Expanded
  • Web of Science
  • Academic Search Alumni Edition
  • Academic Search Complete
  • Academic Search Elite
  • Academic Search Premier
  • Academic Search R&D
  • Academic Search Ultimate
  • Applied Science & Technology Source
  • Computer Science Index
  • Computers & Applied Sciences Complete
  • Current Abstracts
  • Engineering Source
  • Inspec
  • STM Source
  • TOC Premier
  • Ei Compendex
  • Scopus
  • ArticleFirst
  • Electronic Collections Online
  • Abstracts in New Technologies and Engineering (Online)
  • Advanced Technologies & Aerospace Database
  • Aerospace Database
  • Aluminium Industry Abstracts (Online)
  • Ceramic Abstracts (Online)
  • Civil Engineering Abstracts
  • Computer and Information Systems Abstracts (Online)
  • Computing Database
  • Copper Technical Reference Library
  • Corrosion Abstracts (Online)
  • Earthquake Engineering Abstracts
  • Electronics and Communications Abstracts (Online)
  • Engineered Materials Abstracts
  • Engineering Research Database
  • Materials Business File
  • Materials Research Database
  • Mechanical & Transportation Engineering Abstracts
  • METADEX
  • Profession ProQuest Central
  • ProQuest 5000
  • ProQuest 5000 International
  • ProQuest Advanced Technologies & Aerospace Journals
  • ProQuest Central
  • ProQuest SciTech Collection
  • SciTech Premium Collection
  • Technology Collection
  • Technology Research Database
  • Zentralblatt MATH (Online)
  • Referativnyi Zhurnal

Special issues

See all issues
JFP
Special issue
Special issue
POPL 2023
1 article
PDF
JFP
Special issue
36
2026
Special issue 36
Volume 36
2026
1 article
PDF

Latest accepted articles

See all accepted articles
Preprint
Etna: An Evaluation Platform for Property-Based Testing
Alperen Keles, Jessica Shi, Nikhil Kamath et al.
Accepted on May 24, 2026
Preprint
Polymorphic Coverage Types
Zhe Zhou, Ashish Mishra, Benjamin Delaware et al.
Accepted on Jun 14, 2026
Preprint
Adapting the MVVM pattern to C++ frontends and Agda-based backends
Viktor Csimma
Accepted on Jun 14, 2026
Preprint
Don't exhaust, don't waste
Riccardo Bianchini, Francesco Dagnino, Paola Giannini et al.
Accepted on Jun 14, 2026
Preprint
A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine
Małgorzata Biernacka, Witold Charatonik, Tomasz Drab
Accepted on Jun 14, 2026
Article
Modular Models of Monoids with Operations by Lifting Functors along Fibrations
Zhixuan Yang, Nicolas Wu
Accepted on Jun 14, 2026
Preprint
Proto-Quipper with Dynamic Lifting
Peng Fu, Kohei Kishida, Neil J. Ross et al.
Accepted on May 24, 2026
Preprint
Multi types and reasonable space
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Accepted on May 24, 2026
Preprint
Mixing Visual and Textual Code
Leif Andersen, Michael Ballantyne, Cameron Moy et al.
Accepted on Mar 21, 2026
Preprint
Types, equations, dimensions and the Pi theorem
Nicola Botta, Patrik Jansson
Accepted on Mar 20, 2026
Preprint
Longest r-chain: thinning by grouping
Alexander Dinges, Ralf Hinze
Accepted on Mar 19, 2026