- Graham Hutton. PhD Abstracts. Journal of Functional Programming, 29, 2019.
- Ben Greenman, Asumu Takikawa, Max S. New, Daniel Feltey, Robert Bruce Findler, Jan Vitek, Matthias Felleisen. How to evaluate the performance of gradual type systems. Journal of Functional Programming, 29, 2019.
- Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar, Anthony C. J. Fox, Scott Owens, Michael Norrish. The verified CakeML compiler backend. Journal of Functional Programming, 29, 2019.
- Tom Schrijvers, Bruno C. D. S. Oliveira, Philip Wadler, Koar Marntirosian. COCHIS: Stable and coherent implicits. Journal of Functional Programming, 29, 2019.
- Jesper Cockx, Dominique Devriese. Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory. Journal of Functional Programming, 28, 2018.
- James Cheney, Torsten Grust. Special Issue on Programming Languages for Big Data Editorial. Journal of Functional Programming, 28, 2018.
- Graham Hutton. PhD Abstracts. Journal of Functional Programming, 28, 2018.
- Pierre-Évariste Dagand, Nicolas Tabareau, Éric Tanter. Foundations of dependent interoperability. Journal of Functional Programming, 28, 2018.
- Marco T. Morazán. Infusing an HtDP-based CS1 with distributed programming using functional video games. Journal of Functional Programming, 28, 2018.
- Timothy A. K. Zakian, Trevor L. McDonell, Matteo Cimini, Ryan R. Newton. Ghostbuster: A tool for simplifying and converting GADTs. Journal of Functional Programming, 28, 2018.