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