| 2016 | Autobahn: using genetic algorithms to infer strictness annotations. Yisu Remy Wang, Diogenes Nunez, Kathleen Fisher |
| 2016 | Causal commutative arrows revisited. Jeremy Yallop, Hai Liu |
| 2016 | Desugaring Haskell's do-notation into applicative operations. Simon Marlow, Simon Peyton Jones, Edward Kmett, Andrey Mokhov |
| 2016 | Embedding session types in Haskell. Sam Lindley, J. Garrett Morris |
| 2016 | Experience report: developing high performance HTTP/2 server in Haskell. Kazuhiko Yamamoto |
| 2016 | Experience report: types for a relational algebra library. Lennart Augustsson, Mårten Ågren |
| 2016 | FitSpec: refining property sets for functional testing. Rudy Braquehais, Colin Runciman |
| 2016 | Free delivery (functional pearl). Jeremy Gibbons |
| 2016 | Functional reactive programming, refactored. Ivan Perez, Manuel Bärenz, Henrik Nilsson |
| 2016 | High-performance client-side web applications through Haskell EDSLs. Anton Ekblad |
| 2016 | How to twist pointers without breaking them. Satvik Chauhan, Piyush P. Kurur, Brent A. Yorgey |
| 2016 | Lazy graph processing in Haskell. Philip Dexter, Yu David Liu, Kenneth Chiu |
| 2016 | Non-recursive make considered harmful: build systems at scale. Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, Simon Marlow |
| 2016 | Pattern synonyms. Matthew Pickering, Gergo Érdi, Simon Peyton Jones, Richard A. Eisenberg |
| 2016 | Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016 Geoffrey Mainland |
| 2016 | QuickFuzz: an automatic random fuzzer for common file formats. Gustavo Grieco, Martín Ceresa, Pablo Buiras |
| 2016 | Revisiting software transactional memory in Haskell. Matthew Le, Ryan Yates, Matthew Fluet |
| 2016 | Supermonads: one notion to bind them all. Jan Bracker, Henrik Nilsson |
| 2016 | The Key monad: type-safe unconstrained dynamic typing. Atze van der Ploeg, Koen Claessen, Pablo Buiras |