- Ralf Hinze, Dan Marsden. The graphical theory of monads. Journal of Functional Programming, 35, 2025.
- Wouter Swierstra. Towards type-directed compiler calculation. Journal of Functional Programming, 35, 2025.
- Dariusz Biernacki, James McKinna, Filip Sieczkowski. Call-by-value and call-by-name: A simple proof of a classic theorem. Journal of Functional Programming, 35, 2025.
- Jeremy Gibbons. Turner, Bird, Eratosthenes: An eternal burning thread. Journal of Functional Programming, 35, 2025.
- Brent Yorgey. You could have invented Fenwick trees. Journal of Functional Programming, 35, 2025.
- Oliver Westphal, Janis Voigtländer. Automatically testing console I/O behavior of student submissions in Haskell. Journal of Functional Programming, 35, 2025.
- Hangyeol Cho, Woosuk Lee. Inductive synthesis of structurally recursive functional programs from non-recursive expressions. Journal of Functional Programming, 35, 2025.
- Jose Nuno Oliveira. How much is in a square? Calculating functional programs with squares. Journal of Functional Programming, 35, 2025.
- Nicolas Chappe, Paul He, Ludovic Henrio, Eleftherios Ioannidis, Yannick Zakowski, Steve Zdancewic. Choice trees: Representing and reasoning about nondeterministic, recursive, and impure programs in Rocq. Journal of Functional Programming, 35, 2025.
- Jean-Philippe Bernardy, Patrik Jansson. Domain-specific tensor languages. Journal of Functional Programming, 35, 2025.