Haskell '16 Accepted Papers
Y. Wang, D. Nunez, K. Fisher.
AUTOBAHN: Using Genetic Algorithms to Infer Strictness Annotations
J. Yallop, H. Liu
Causal commutative arrows revisited.
S. Marlow, S. Jones, E. Kmett, A. Mokhov.
Desugaring Haskell's do-notation Into Applicative Operations
S. Lindley, J. G. Morris.
Embedding Session Types in Haskell
K. Yamamoto.
Experience Report: Developing High Performance HTTP/2 Server in Haskell
R. Braquehais, C. Runciman.
FitSpec: refining property sets for functional testing
J. Gibbons.
Free Delivery (functional pearl)
I. Perez, M. Barenz, H. Nilsson.
Functional Reactive Programming, Refactored
A. Ekblad.
High-performance client-side web applications through Haskell EDSLs
S. Chauhan, P. Kurur, B. Yorgey.
How to twist pointers without breaking them.
P. Buiras, K. Claessen, A. Ploeg.
The Key Monad:Type-Safe Unconstrained Dynamic Typing
P. Dexter, Y. Liu, K. Chiu.
Lazy Graph Processing in Haskell
A. Mokhov, N. Mitchell, S. Peyton Jones, S. Marlow.
Non-recursive Make Considered Harmful
S. Peyton Jones, R. Eisenberg, G. Érdi, M. Pickering.
Pattern Synonyms
G. Grieco, M. Ceresa, P. Buiras.
QuickFuzz: an automatic random fuzzer for common file formats
M. Le, R. Yates, M. Fluet.
Revisiting Software Transactional Memory in Haskell
J. Bracker, H. Nilsson.
Supermonads
M. Agren, L. Augustsson.
Types for a Relational Algebra Library (Experience Report)