- 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.
- Gabriele Keller, Fritz Henglein. Editorial for the Special Issue on Parallel and Concurrent Functional Programming. Journal of Functional Programming, 28, 2018.
- Ralf Hinze, Clare Martin. Parberry's pairwise sorting network revealed. Journal of Functional Programming, 28, 2018.
- Ralf Hinze, Clare Martin. Batcher's odd-even merging network revealed. Journal of Functional Programming, 28, 2018.
- Paul Downen, Zena M. Ariola. A tutorial on computational classical logic and the sequent calculus. Journal of Functional Programming, 28, 2018.