Journal of Functional Programming

Papers
(The H4-Index of Journal of Functional Programming is 5. 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-01-01 to 2026-01-01.)
ArticleCitations
Fold–unfold lemmas for reasoning about recursive programs using the Coq proof assistant6
Bottom-up computation using trees of sublists6
Domain-specific tensor languages6
The graphical theory of monads6
Contract lenses: Reasoning about bidirectional programs via calculation6
Type-directed operational semantics for gradual typing5
A correct-by-construction conversion from lambda calculus to combinatory logic5
0.26277685165405