Journal of Functional Programming

Papers
(The TQCC of Journal of Functional Programming is 2. 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
A type- and scope-safe universe of syntaxes with binding: their semantics and proofs7
Ready,Set, Verify! Applyinghs-to-coqto real-world Haskell code7
Integrating region memory management and tag-free generational garbage collection5
Explainable dynamic programming5
A trustful monad for axiomatic reasoning with probability and nondeterminism4
Linear capabilities for fully abstract compilation of separation-logic-verified code4
On the correctness of monadic backward induction4
Taming the Merge Operator4
Back to futures3
Fregel: a functional domain-specific language for vertex-centric large-scale graph processing3
Modal FRP for all: Functional reactive programming without space leaks in Haskell3
Not by equations alone: Reasoning with extensible effects3
How to design co-programs3
StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities3
Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi2
Extensional equality preservation and verified generic programming2
Gradual type theory2
Fold–unfold lemmas for reasoning about recursive programs using the Coq proof assistant2
0.01457405090332