Journal of Functional Programming

Papers
(The TQCC 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 2021-06-01 to 2025-06-01.)
ArticleCitations
Contract lenses: Reasoning about bidirectional programs via calculation5
Domain-specific tensor languages5
Fold–unfold lemmas for reasoning about recursive programs using the Coq proof assistant4
Bottom-up computation using trees of sublists3
The graphical theory of monads3
A correct-by-construction conversion from lambda calculus to combinatory logic2
Type-directed operational semantics for gradual typing2
Review of “Real World OCaml: Functional Programming for the Masses” Second Edition, by Yaron Minsky and Anil Madhavapeddy, 20232
PhD Abstracts1
Level-p-complexity of Boolean functions using thinning, memoization, and polynomials1
Modal FRP for all: Functional reactive programming without space leaks in Haskell1
On being a PhD student of Robert Harper1
ANF preserves dependent types up to extensional equality1
Review of “Haskell in Depth” by Vitaly Bragilevsky, Manning Publications, 20211
Programming language semantics: It’s easy as 1,2,31
A practical formalization of monadic equational reasoning in dependent-type theory1
Send to me first: Priority in synchronous message-passing1
0.043920993804932