| 2015 | Fusion for Free - Efficient Algebraic Effect Handlers. | Nicolas Wu, Tom Schrijvers |
| 2015 | On Rely-Guarantee Reasoning. | Stephan van Staden |
| 2015 | Regular Varieties of Automata and Coequations. | Julian Salamanca, Adolfo Ballester-Bolinches, Marcello M. Bonsangue, Enric Cosme-Llpez, Jan J. M. M. Rutten |
| 2015 | Preference Decomposition and the Expressiveness of Preference Query Languages. | Patrick Roocks |
| 2015 | Polynomial Functors Constrained by Regular Expressions. | Dan Piponi, Brent A. Yorgey |
| 2015 | Exploring an Interface Model for CKA. | Bernhard Mller, Tony Hoare |
| 2015 | Turing-Completeness Totally Free. | Conor McBride |
| 2015 | Hierarchy in Generic Programming Libraries. | Jos Pedro Magalhes, Andres Lh |
| 2015 | Auto in Agda - Programming Proof Search Using Reflection. | Pepijn Kokke, Wouter Swierstra |
| 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 | Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets. | Rudolf Berghammer |
| 2015 | Calculating Certified Compilers for Non-deterministic Languages. | Patrick Bahr |
| 2015 | Notions of Bidirectional Computation and Entangled State Monads. | Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens |
| 2012 | Calculating Graph Algorithms for Dominance and Shortest Path. | Ilya Sergey, Jan Midtgaard, Dave Clarke |
| 2012 | Constructing Applicative Functors. | Ross Paterson |
| 2012 | Elementary Probability Theory in the Eindhoven Style. | Carroll Morgan |
| 2012 | An Algebraic Calculus of Database Preferences. | Bernhard Mller, Patrick Roocks, Markus Endres |
| 2012 | Scheduling and Buffer Sizing of n-Synchronous Systems - Typing of Ultimately Periodic Clocks in Lucy-n. | Louis Mandel, Florence Plateau |
| 2012 | Scheduler-Independent Declassification. | Alexander Lux, Heiko Mantel, Matthias Perner |
| 2012 | The Laws of Programming Unify Process Calculi. | Tony Hoare, Stephan van Staden |
| 2012 | Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick. | Ralf Hinze |
| 2012 | Unifying Correctness Statements. | Walter Guttmann |
| 2012 | The Geometry of Synthesis - How to Make Hardware Out of Software. | Dan R. Ghica |