- 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.
- 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.
- Gabriele Keller, Fritz Henglein. Editorial for the Special Issue on Parallel and Concurrent Functional Programming. 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.
- Amir Shaikhha, Mohammad Dashti, Christoph Koch 0001. Push versus pull-based loop fusion in query engines. Journal of Functional Programming, 28, 2018.
- Joachim Breitner. The adequacy of Launchbury's natural semantics for lazy evaluation. Journal of Functional Programming, 28, 2018.
- Philipp Haller, Heather Miller, Normen Müller. A programming model and foundation for lineage-based distributed computation. Journal of Functional Programming, 28, 2018.
- Cameron Swords, Amr Sabry, Sam Tobin-Hochstadt. An extended account of contract monitoring strategies as patterns of communication. Journal of Functional Programming, 28, 2018.