- Nicola Botta, Nuria Brede, Patrik Jansson, Tim Richter. Extensional equality preservation and verified generic programming. Journal of Functional Programming, 31, 2021.
- Robert Sison, Toby Murray. Verified secure compilation for mixed-sensitivity concurrent programs. Journal of Functional Programming, 31, 2021.
- Graham Hutton. PhD Abstracts. Journal of Functional Programming, 31, 2021.
- Lau Skorstengaard, Dominique Devriese, Lars Birkedal. StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities. Journal of Functional Programming, 31, 2021.
- Jeremy G. Siek, Peter Thiemann 0001, Philip Wadler. Blame and coercion: Together again for the first time. Journal of Functional Programming, 31, 2021.
- Reynald Affeldt, Jacques Garrigue, David Nowak, Takafumi Saikawa. A trustful monad for axiomatic reasoning with probability and nondeterminism. Journal of Functional Programming, 31, 2021.
- Graham Hutton. PhD Abstracts. Journal of Functional Programming, 31, 2021.
- Shin-Cheng Mu, Tsung-Ju Chiang. Longest segment of balanced parentheses: an exercise in program inversion in a segment problem. Journal of Functional Programming, 31, 2021.
- Jonathan Sterling. Higher order functions and Brouwer's thesis. Journal of Functional Programming, 31, 2021.
- Xuejing Huang, Jinxu Zhao, Bruno C. D. S. Oliveira. Taming the Merge Operator. Journal of Functional Programming, 31, 2021.