Haskell 2016- Proceedings of the 9th International Symposium on Haskell

Full Citation in the ACM Digital Library

SESSION: Testing

FitSpec: refining property sets for functional testing

• Rudy Braquehais
• Colin Runciman

QuickFuzz: an automatic random fuzzer for common file formats

• Gustavo Grieco
• Martín Ceresa
• Pablo Buiras

SESSION: FRP

Causal commutative arrows revisited

• Jeremy Yallop
• Hai Liu

Functional reactive programming, refactored

• Ivan Perez
• Manuel Bärenz
• Henrik Nilsson

SESSION: Functors

Free delivery (functional pearl)

• Jeremy Gibbons

How to twist pointers without breaking them

• Satvik Chauhan
• Piyush P. Kurur
• Brent A. Yorgey

SESSION: Web Technology

High-performance client-side web applications through Haskell EDSLs

• Anton Ekblad

Experience report: developing high performance HTTP/2 server in Haskell

• Kazuhiko Yamamoto

SESSION: Language Features

Pattern synonyms

• Matthew Pickering
• Gergő Érdi
• Simon Peyton Jones
• Richard A. Eisenberg

Desugaring Haskell's do-notation into applicative operations

• Simon Marlow
• Simon Peyton Jones
• Edward Kmett
• Andrey Mokhov

SESSION: Strictness and STM

Revisiting software transactional memory in Haskell

• Matthew Le
• Ryan Yates
• Matthew Fluet

Autobahn: using genetic algorithms to infer strictness annotations

• Yisu Remy Wang
• Diogenes Nunez
• Kathleen Fisher

SESSION: Types

Experience report: types for a relational algebra library

• Lennart Augustsson
• Mårten Ågren

Embedding session types in Haskell

• Sam Lindley
• J. Garrett Morris

SESSION: Monads

The Key monad: type-safe unconstrained dynamic typing

• Atze van der Ploeg
• Koen Claessen
• Pablo Buiras

Supermonads: one notion to bind them all

• Jan Bracker
• Henrik Nilsson

SESSION: Abstractions that Scale

Non-recursive make considered harmful: build systems at scale

• Andrey Mokhov
• Neil Mitchell
• Simon Peyton Jones
• Simon Marlow

Lazy graph processing in Haskell

• Philip Dexter
• Yu David Liu
• Kenneth Chiu