- Ralf Hinze, Dan Marsden. The graphical theory of monads. 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.
- Jean-Philippe Bernardy, Patrik Jansson. Domain-specific tensor languages. Journal of Functional Programming, 35, 2025.
- Tom Smeding, Matthijs Vákár. Parallel dual-numbers reverse AD. Journal of Functional Programming, 35, 2025.
- Paul Downen, Zena M. Ariola. A contextual formalization of structural coinduction. Journal of Functional Programming, 35, 2025.
- Kenichi Asai. OCaml Blockly. Journal of Functional Programming, 35, 2025.