Journal of Functional Programming

Papers
(The median citation count of Journal of Functional Programming is 1. 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-03-01 to 2024-03-01.)
ArticleCitations
Cogent: uniqueness types and certifying compilation12
Cubical Agda: A dependently typed programming language with univalence and higher inductive types9
Ready,Set, Verify! Applyinghs-to-coqto real-world Haskell code7
A type- and scope-safe universe of syntaxes with binding: their semantics and proofs6
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
How to design co-programs3
StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities3
Back to futures3
Not by equations alone: Reasoning with extensible effects3
Modal FRP for all: Functional reactive programming without space leaks in Haskell3
Fold–unfold lemmas for reasoning about recursive programs using the Coq proof assistant2
Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi2
Extensional equality preservation and verified generic programming2
Fregel: a functional domain-specific language for vertex-centric large-scale graph processing2
A well-known representation of monoids and its application to the function ‘vector reverse’1
Blame and coercion: Together again for the first time1
A greedy algorithm for dropping digits1
Lambda calculus with algebraic simplification for reduction parallelisation: Extended study1
What is an education paper?1
Folding left and right matters: Direct style, accumulators, and continuations1
Relational cost analysis in a functional-imperative setting1
Verified secure compilation for mixed-sensitivity concurrent programs1
Migrating gradual types1
Protocol combinators for modeling, testing, and execution of distributed systems1
Extracting functional programs from Coq, in Coq1
ANF preserves dependent types up to extensional equality1
Segments: An alternative rainfall problem1
Gradual type theory1
Real-time MLton: A Standard ML runtime for real-time functional programs1
Trace contracts1
0.013715982437134