Haskell 2016

18 papers

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