- Cameron Moy. Knuth-Morris-Pratt illustrated. Journal of Functional Programming, 34, 2024.
- Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi. Alice or Bob?: Process polymorphism in choreographies. Journal of Functional Programming, 34, 2024.
- Kazutaka Matsuda, Meng Wang 0002. Sparcl: A language for partially invertible computation. Journal of Functional Programming, 34, 2024.
- 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.
- Hanliang Zhang, Wenhao Tang, Ruifeng Xie, Meng Wang 0002, Zhenjiang Hu. Contract lenses: Reasoning about bidirectional programs via calculation. Journal of Functional Programming, 33, 2023.
- Wouter Swierstra. A correct-by-construction conversion from lambda calculus to combinatory logic. Journal of Functional Programming, 33, 2023.
- Jason Z. S. Hu, Junyoung Jang 0001, Brigitte Pientka. Normalization by evaluation for modal dependent type theory. 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.