- Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn. Higher order symbolic execution for contract verification and refutation. Journal of Functional Programming, 27, 2017.
- Pierre-Évariste Dagand. The essence of ornaments. Journal of Functional Programming, 27, 2017.
- Hsiang-Shang Ko, Jeremy Gibbons. Programming with ornaments. Journal of Functional Programming, 27, 2017.
- Deian Stefan, David Mazières, John C. Mitchell, Alejandro Russo. Flexible dynamic information flow control in the presence of exceptions. Journal of Functional Programming, 27, 2017.
- Andreas Abel 0001, Stephan Adelsberger, Anton Setzer. Interactive programming in Agda - Objects and graphical user interfaces. Journal of Functional Programming, 27, 2017.
- Ilya Sergey, Dimitrios Vytiniotis, Simon L. Peyton Jones, Joachim Breitner. Modular, higher order cardinality analysis in theory and practice. Journal of Functional Programming, 27, 2017.
- Nicholas Smallbone, Moa Johansson, Koen Claessen, Maximilian Algehed. Quick specifications for the busy programmer. Journal of Functional Programming, 27, 2017.
- Kuen-Bang Hou (Favonia), Nick Benton, Robert Harper. Correctness of compiling polymorphism to dynamic typing. Journal of Functional Programming, 27, 2017.
- Ohad Kammar, Matija Pretnar. No value restriction is needed for algebraic effects and handlers. Journal of Functional Programming, 27, 2017.
- Tarmo Uustalu, Niccolò Veltri. Finiteness and rational sequences, constructively. Journal of Functional Programming, 27, 2017.