| 2019 | Verifying effectful Haskell programs in Coq. | Jan Christiansen, Sandra Dylus, Niels Bunkenburg |
| 2018 | Coherent explicit dictionary application for Haskell. | Thomas Winant, Dominique Devriese |
| 2018 | Theorem proving for all: equational reasoning in liquid Haskell (functional pearl). | Niki Vazou, Joachim Breitner, Rose Kunkel, David Van Horn, Graham Hutton |
| 2018 | Autobahn 2.0: minimizing bangs while maintaining performance (system demonstration). | Marilyn Sun, Kathleen Fisher |
| 2018 | Generic programming of all kinds. | Alejandro Serrano, Victor Cacciari Miraldo |
| 2018 | The Thoralf plugin: for your fancy type needs. | Divesh Otwani, Richard A. Eisenberg |
| 2018 | Ghosts of departed proofs (functional pearl). | Matt Noonan |
| 2018 | Branching processes for QuickCheck generators. | Agustn Mista, Alejandro Russo, John Hughes |
| 2018 | Embedding invertible languages with binders: a case of the FliPpr language. | Kazutaka Matsuda, Meng Wang |
| 2018 | Improving typeclass relations by being open. | Guido Martnez, Mauro Jaskelioff, Guido De Luca |
| 2018 | A high-performance multicore IO manager based on libuv (experience report). | Dong Han, Tao He |
| 2018 | AutoBench: comparing the time performance of Haskell programs. | Martin A. T. Handley, Graham Hutton |
| 2018 | Suggesting valid hole fits for typed-holes (experience report). | Matthas Pll Gissurarson |
| 2018 | Type variables in patterns. | Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones |
| 2018 | A promise checked is a promise kept: inspection testing. | Joachim Breitner |
| 2018 | Deriving via: or, how to turn hand-written instances into an anti-pattern. | Baldur Blndal, Andres Lh, Ryan Scott |
| 2018 | Rhine: FRP with type-level clocks. | Manuel Brenz, Ivan Perez |
| 2017 | Improving STM performance with transactional structs. | Ryan Yates, Michael L. Scott |
| 2017 | Using Coq to write fast and correct Haskell. | John Wiegley, Benjamin Delaware |
| 2017 | A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq. | Niki Vazou, Leonidas Lampropoulos, Jeff Polakow |
| 2017 | Well-typed music does not sound wrong (experience report). | Dmitrij Szamozvancev, Michael B. Gale |
| 2017 | Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (invited talk). | Didier Rmy |
| 2017 | Algorithmic music in Haskell (invited talk). | Donya Quick |
| 2017 | Back to the future: time travel in FRP. | Ivan Perez |
| 2017 | The linearity Monad. | Jennifer Paykin, Steve Zdancewic |