| 2015 | A Clear Picture of Lens Laws - Functional Pearl. Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco |
| 2015 | A Program Construction and Verification Tool for Separation Logic. Brijesh Dongol, Victor B. F. Gomes, Georg Struth |
| 2015 | A Relation-Algebraic Approach to Multirelations and Predicate Transformers. Rudolf Berghammer, Walter Guttmann |
| 2015 | Auto in Agda - Programming Proof Search Using Reflection. Pepijn Kokke, Wouter Swierstra |
| 2015 | Calculating Certified Compilers for Non-deterministic Languages. Patrick Bahr |
| 2015 | Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets. Rudolf Berghammer |
| 2015 | Exploring an Interface Model for CKA. Bernhard Möller, Tony Hoare |
| 2015 | Fusion for Free - Efficient Algebraic Effect Handlers. Nicolas Wu, Tom Schrijvers |
| 2015 | Hierarchy in Generic Programming Libraries. José Pedro Magalhães, Andres Löh |
| 2015 | Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings Ralf Hinze, Janis Voigtländer |
| 2015 | Notions of Bidirectional Computation and Entangled State Monads. Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens |
| 2015 | On Rely-Guarantee Reasoning. Stephan van Staden |
| 2015 | Polynomial Functors Constrained by Regular Expressions. Dan Piponi, Brent A. Yorgey |
| 2015 | Preference Decomposition and the Expressiveness of Preference Query Languages. Patrick Roocks |
| 2015 | Regular Varieties of Automata and Coequations. Julian Salamanca, Adolfo Ballester-Bolinches, Marcello M. Bonsangue, Enric Cosme-Llópez, Jan J. M. M. Rutten |
| 2015 | Turing-Completeness Totally Free. Conor McBride |