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-05-01 to 2024-05-01.)
ArticleCitations
Cogent: uniqueness types and certifying compilation13
Cubical Agda: A dependently typed programming language with univalence and higher inductive types10
Ready,Set, Verify! Applyinghs-to-coqto real-world Haskell code7
A type- and scope-safe universe of syntaxes with binding: their semantics and proofs7
Explainable dynamic programming5
Integrating region memory management and tag-free generational garbage collection5
0.013095140457153