- Jonathan Chan, Yufeng Li, William J. Bowman. Is sized typing for Coq practical?. Journal of Functional Programming, 33, 2023.
- Paul Downen, Zena M. Ariola. Classical (co)recursion: Mechanics. Journal of Functional Programming, 33, 2023.
- Olivier Danvy. Folding left and right matters: Direct style, accumulators, and continuations. Journal of Functional Programming, 33, 2023.
- Olivier Danvy. Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant - ERRATUM. Journal of Functional Programming, 33, 2023.
- Graham Hutton. PhD Abstracts. Journal of Functional Programming, 32, 2022.
- Stefano Perna, Val Tannen, Limsoon Wong. Iterating on multiple collections in synchrony. Journal of Functional Programming, 32, 2022.
- John Peter Campora III, Sheng Chen 0008, Martin Erwig, Eric Walkingshaw. Migrating gradual types. Journal of Functional Programming, 32, 2022.
- Jeremy Gibbons, Shriram Krishnamurthi. Editorial. Journal of Functional Programming, 32, 2022.
- Hideya Iwasaki, Kento Emoto, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu. Fregel: a functional domain-specific language for vertex-centric large-scale graph processing. Journal of Functional Programming, 32, 2022.
- Graham Hutton. PhD Abstracts. Journal of Functional Programming, 32, 2022.