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-08-01 to 2025-08-01.)
ArticleCitations
Domain-specific tensor languages6
Contract lenses: Reasoning about bidirectional programs via calculation5
Fold–unfold lemmas for reasoning about recursive programs using the Coq proof assistant4
A correct-by-construction conversion from lambda calculus to combinatory logic3
The graphical theory of monads3
Type-directed operational semantics for gradual typing3
Bottom-up computation using trees of sublists3
A contextual formalization of structural coinduction2
Level-p-complexity of Boolean functions using thinning, memoization, and polynomials2
PhD Abstracts2
A practical formalization of monadic equational reasoning in dependent-type theory2
Review of “Real World OCaml: Functional Programming for the Masses” Second Edition, by Yaron Minsky and Anil Madhavapeddy, 20232
Programming language semantics: It’s easy as 1,2,32
On being a PhD student of Robert Harper2
ANF preserves dependent types up to extensional equality1
Binary search—think positive1
Static Blame for gradual typing1
Review of “Haskell in Depth” by Vitaly Bragilevsky, Manning Publications, 20211
Classical (co)recursion: Mechanics1
Send to me first: Priority in synchronous message-passing1
Modal FRP for all: Functional reactive programming without space leaks in Haskell1
PhD Abstracts1
0.013214826583862