| 2017 | A meta-EDSL for distributed web applications. Anton Ekblad |
| 2017 | A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq. Niki Vazou, Leonidas Lampropoulos, Jeff Polakow |
| 2017 | Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping. Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton |
| 2017 | Algebraic graphs with class (functional pearl). Andrey Mokhov |
| 2017 | Algorithmic music in Haskell (invited talk). Donya Quick |
| 2017 | Back to the future: time travel in FRP. Ivan Perez |
| 2017 | Composable network stacks and remote monads. Justin Dawson, Mark Grebe, Andy Gill |
| 2017 | Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies! Georgios Karachalias, Tom Schrijvers |
| 2017 | Hardware software co-design in Haskell. Markus Aronsson, Mary Sheeran |
| 2017 | Improving STM performance with transactional structs. Ryan Yates, Michael L. Scott |
| 2017 | Ode on a random urn (functional pearl). Leonidas Lampropoulos, Antal Spector-Zabusky, Kenneth Foner |
| 2017 | Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (invited talk). Didier Rémy |
| 2017 | Packrats parse in packs. Mario Blazevic, Jacques Légaré |
| 2017 | Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Oxford, United Kingdom, September 7-8, 2017 Iavor S. Diatchki |
| 2017 | Quantified class constraints. Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler |
| 2017 | QuickSpec: a lightweight theory exploration tool for programmers (system demonstration). Maximilian Algehed, Koen Claessen, Moa Johansson, Nicholas Smallbone |
| 2017 | Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results. Rudy Braquehais, Colin Runciman |
| 2017 | Streaming irregular arrays. Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller |
| 2017 | The linearity Monad. Jennifer Paykin, Steve Zdancewic |
| 2017 | Using Coq to write fast and correct Haskell. John Wiegley, Benjamin Delaware |
| 2017 | Well-typed music does not sound wrong (experience report). Dmitrij Szamozvancev, Michael B. Gale |