Journal of Functional Programming

Papers
(The TQCC of Journal of Functional Programming is 1. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2022-08-01 to 2026-08-01.)
ArticleCitations
Contract lenses: Reasoning about bidirectional programs via calculation7
Domain-specific tensor languages7
The graphical theory of monads6
Bottom-up computation using trees of sublists4
Type-directed operational semantics for gradual typing3
A correct-by-construction conversion from lambda calculus to combinatory logic3
A practical formalization of monadic equational reasoning in dependent-type theory2
Review of “Real World OCaml: Functional Programming for the Masses” Second Edition, by Yaron Minsky and Anil Madhavapeddy, 20232
PhD Abstracts2
Programming language semantics: It’s easy as 1,2,32
Level-p-complexity of Boolean functions using thinning, memoization, and polynomials2
A contextual formalization of structural coinduction2
Parallel dual-numbers reverse AD1
Review of “Haskell in Depth” by Vitaly Bragilevsky, Manning Publications, 20211
Binary search—think positive1
Choice trees: Representing and reasoning about nondeterministic, recursive, and impure programs in Rocq1
Classical (co)recursion: Mechanics1
PhD Abstracts1
Static Blame for gradual typing1
Is sized typing for Coq practical?1
PhD Abstracts1
0.15419101715088