| 2015 | Skeletons for distributed topological computation. | David J. Duke, Fouzhan Hosseini |
| 2015 | Structures for structural recursion. | Paul Downen, Philip Johnson-Freyd, Zena M. Ariola |
| 2015 | Denotational cost semantics for functional languages with inductive types. | Norman Danner, Daniel R. Licata, Ramyaa |
| 2015 | An optimizing compiler for a purely functional web-application language. | Adam Chlipala |
| 2015 | HLIO: mixing static and dynamic typing for information-flow control in Haskell. | Pablo Buiras, Dimitrios Vytiniotis, Alejandro Russo |
| 2015 | Noninterference for free. | William J. Bowman, Amal Ahmed |
| 2015 | Program synthesis: opportunities for the next decade. | Rastislav Bodk |
| 2015 | Foundational extensible corecursion: a proof assistant perspective. | Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel |
| 2015 | Pycket: a tracing JIT for a functional language. | Spenser Bauman, Carl Friedrich Bolz, Robert Hirschfeld, Vasily Kirilichev, Tobias Pape, Jeremy G. Siek, Sam Tobin-Hochstadt |
| 2015 | Certified symbolic management of financial multi-party contracts. | Patrick Bahr, Jost Berthold, Martin Elsman |
| 2015 | Analysing the complexity of functional programs: higher-order meets first-order. | Martin Avanzini, Ugo Dal Lago, Georg Moser |
| 2015 | An efficient implementation of tiled polymorphic temporal media. | Simon Archipoff |
| 2014 | Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough. | Daniel Winograd-Cort, Paul Hudak |
| 2014 | Ornaments in practice. | Thomas Williams, Pierre-variste Dagand, Didier Rmy |
| 2014 | [Demo abstract] Sound and soundness: practical total functional data-flow programming. | Baltasar Trancn y Widemann, Markus Lepper |
| 2014 | Depending on types. | Stephanie Weirich |
| 2014 | Ziria: wireless programming for hardware dummies. | Dimitrios Vytiniotis |
| 2014 | True sums of products. | Edsko de Vries, Andres Lh |
| 2014 | Scoping rules on a platter: a framework for understanding and specifying name binding. | Larisse Voufo, Marcin Zalewski, Andrew Lumsdaine |
| 2014 | [Demo abstract] using Haskell as DSL for controlling immersive media experiences: Ludic support and deep immersion in nordic technology-supported LARP. | Mikael Vejdemo-Johansson, Henrik Brnhielm, Daniel Sundstrm |
| 2014 | Refinement types for Haskell. | Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon L. Peyton Jones |
| 2014 | Lazy data-oriented evaluation strategies. | Prabhat Totoo, Hans-Wolfgang Loidl |
| 2014 | Defunctionalizing push arrays. | Bo Joel Svensson, Josef Svenningsson |
| 2014 | Romeo: a system for more flexible binding-safe programming. | Paul Stansifer, Mitchell Wand |
| 2014 | First-class isomorphic specialization by staged evaluation. | Alexander Slesarenko, Alexander Filippov, Alexey Romanov |