Journal of Functional Programming

Papers
(The H4-Index of Journal of Functional Programming is 3. 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 2021-05-01 to 2025-05-01.)
ArticleCitations
Contract lenses: Reasoning about bidirectional programs via calculation5
Domain-specific tensor languages4
Fold–unfold lemmas for reasoning about recursive programs using the Coq proof assistant4
0.014222145080566