| 2015 | Which simple types have a unique inhabitant? | Gabriel Scherer, Didier Rmy |
| 2015 | Functional pearl: two can keep a secret, if one of them uses Haskell. | Alejandro Russo |
| 2015 | 1ML - core and modules united (F-ing first-class modules). | Andreas Rossberg |
| 2015 | Functional pearl: a SQL to C compiler in 500 lines of code. | Tiark Rompf, Nada Amin |
| 2015 | Datatype generic programming in F#. | Ernesto Rodrguez, Wouter Swierstra |
| 2015 | Automatic refunctionalization to a language with copattern matching: with applications to the expression problem. | Tillmann Rendel, Julia Trieflinger, Klaus Ostermann |
| 2015 | Hygienic resugaring of compositional desugaring. | Justin Pombrio, Shriram Krishnamurthi |
| 2015 | Practical principled FRP: forget the past, change the future, FRPNow! | Atze van der Ploeg, Koen Claessen |
| 2015 | Moodler: a digital modular synthesiser with an analogue user interface. | Dan Piponi |
| 2015 | Practical SMT-based type error localization. | Zvonimir Pavlinovic, Tim King, Thomas Wies |
| 2015 | Adaptive lock-free maps: purely-functional to scalable. | Ryan R. Newton, Peter P. Fogg, Ali Varamesh |
| 2015 | Pilsner: a compositionally verified compiler for a higher-order imperative language. | Georg Neis, Chung-Kil Hur, Jan-Oliver Kaiser, Craig McLaughlin, Derek Dreyer, Viktor Vafeiadis |
| 2015 | Type-level web APIs with Servant: an exercise in domain-specific generic programming. | Alp Mestanogullari, Snke Hahn, Julian K. Arni, Andres Lh |
| 2015 | Applicative bidirectional programming with lenses. | Kazutaka Matsuda, Meng Wang |
| 2015 | Functional array streams. | Frederik M. Madsen, Robert Clifton-Everest, Manuel M. T. Chakravarty, Gabriele Keller |
| 2015 | Partial aborts for transactions via first-class continuations. | Matthew Le, Matthew Fluet |
| 2015 | Blame assignment for higher-order contracts with intersection and union. | Matthias Keil, Peter Thiemann |
| 2015 | GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness. | Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon L. Peyton Jones |
| 2015 | Session types for Rust. | Thomas Bracht Laumann Jespersen, Philip Munksgaard, Ken Friis Larsen |
| 2015 | Functional pearl: a smart view on datatypes. | Mauro Jaskelioff, Exequiel Rivas |
| 2015 | Real-time interactive music in Haskell. | Paul Hudak, Donya Quick, Mark Santolucito, Daniel Winograd-Cort |
| 2015 | XQuery and static typing: tackling the problem of backward axes. | Pierre Genevs, Nils Gesbert |
| 2015 | Algebras and coalgebras in the light affine Lambda calculus. | Marco Gaboardi, Romain Pchoux |
| 2015 | Dependently typed programming with finite sets. | Denis Firsov, Tarmo Uustalu |
| 2015 | Elaborating evaluation-order polymorphism. | Jana Dunfield |