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-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
Explainable dynamic programming5
Taming the Merge Operator5
A trustful monad for axiomatic reasoning with probability and nondeterminism5
Back to futures4
Modal FRP for all: Functional reactive programming without space leaks in Haskell4
On the correctness of monadic backward induction4
Not by equations alone: Reasoning with extensible effects4
How to design co-programs4
Linear capabilities for fully abstract compilation of separation-logic-verified code4
Fregel: a functional domain-specific language for vertex-centric large-scale graph processing3
StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities3
Blame and coercion: Together again for the first time3
Iterating on multiple collections in synchrony2
Gradual type theory2
Extensional equality preservation and verified generic programming2
Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi2
Fold–unfold lemmas for reasoning about recursive programs using the Coq proof assistant2
Sparcl: A language for partially invertible computation2
Protocol combinators for modeling, testing, and execution of distributed systems1
Extracting functional programs from Coq, in Coq1
Folding left and right matters: Direct style, accumulators, and continuations1
Segments: An alternative rainfall problem1
Higher order functions and Brouwer’s thesis1
A greedy algorithm for dropping digits1
Lambda calculus with algebraic simplification for reduction parallelisation: Extended study1
What is an education paper?1
Normalization by evaluation for modal dependent type theory1
A well-known representation of monoids and its application to the function ‘vector reverse’1
ANF preserves dependent types up to extensional equality1
Programming language semantics: It’s easy as 1,2,31
Real-time MLton: A Standard ML runtime for real-time functional programs1
Composable data visualizations1
Trace contracts1
Relational cost analysis in a functional-imperative setting1
Verified secure compilation for mixed-sensitivity concurrent programs1
Migrating gradual types1
0.012433052062988