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 2020-11-01 to 2024-11-01.)
ArticleCitations
Cogent: uniqueness types and certifying compilation15
Cubical Agda: A dependently typed programming language with univalence and higher inductive types10
Ready,Set, Verify! Applyinghs-to-coqto real-world Haskell code8
A type- and scope-safe universe of syntaxes with binding: their semantics and proofs7
Integrating region memory management and tag-free generational garbage collection6
A trustful monad for axiomatic reasoning with probability and nondeterminism5
Explainable dynamic programming5
Taming the Merge Operator5
0.018389940261841