- Daniel Hillerström, Sam Lindley, Robert Atkey. Effect handlers via generalised continuations. Journal of Functional Programming, 30, 2020.
- Wouter Swierstra. Heterogeneous binary random-access lists. Journal of Functional Programming, 30, 2020.
- Richard S. Bird. An optimal, purely functional implementation of the Garsia-Wachs algorithm. Journal of Functional Programming, 30, 2020.
- Jennifer Hackett. Review of "Thinking with Types"* by Sandy Maguire, LeanPub, 2019. Journal of Functional Programming, 30, 2020.
- Lukas Convent, Sam Lindley, Conor McBride, Craig McLaughlin. Doo bee doo bee doo. Journal of Functional Programming, 30, 2020.
- Éric Tanter. Review of "The Little Prover" by Daniel P. Friedman and Carl Eastlund, MIT Press, 2015. Journal of Functional Programming, 30, 2020.
- Oleg Kiselyov. Many more predecessors: A representation workout. Journal of Functional Programming, 30, 2020.
- Jesper Cockx, Andreas Abel. Elaborating dependent (co)pattern matching: No pattern left behind. Journal of Functional Programming, 30, 2020.
- Andrey Mokhov, Neil Mitchell, Simon Peyton Jones. Build systems à la carte: Theory and practice. Journal of Functional Programming, 30, 2020.
- Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann. Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala. Journal of Functional Programming, 30, 2020.