- Graham Hutton. PhD Abstracts. Journal of Functional Programming, 31, 2021.
- Oleg Kiselyov, Shin-Cheng Mu, Amr Sabry. Not by equations alone: Reasoning with extensible effects. Journal of Functional Programming, 31, 2021.
- Kristoffer Just Arndal Andersen, Ilya Sergey. Protocol combinators for modeling, testing, and execution of distributed systems. Journal of Functional Programming, 31, 2021.
- Martin Elsman, Niels Hallenberg. Integrating region memory management and tag-free generational garbage collection. Journal of Functional Programming, 31, 2021.
- Joachim Breitner, Antal Spector-Zabusky, Yao Li 0004, Christine Rizkallah, John Wiegley, Joshua Cohen, Stephanie Weirich. Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code. Journal of Functional Programming, 31, 2021.
- Karl Crary. A focused solution to the avoidance problem. Journal of Functional Programming, 30, 2020.
- Andreas Abel 0001, Jesper Cockx, Dominique Devriese, Amin Timany, Philip Wadler. Leibniz equality is isomorphic to Martin-Löf identity, parametrically. Journal of Functional Programming, 30, 2020.
- Samuel Caldwell, Tony Garnock-Jones, Matthias Felleisen. Typed dataspace actors. Journal of Functional Programming, 30, 2020.
- 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.