Geoffrey Mainland
Proceedings of the Ninth International Symposium on Haskell
Haskell, 2016.

@proceedings{Haskell-2016,
	doi           = "10.1145/2976002",
	editor        = "Geoffrey Mainland",
	isbn          = "978-1-4503-4434-0",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Ninth International Symposium on Haskell}",
	year          = 2016,
}

Contents (18 items)

Haskell-2016-BraquehaisR #functional #named #testing

FitSpec: refining property sets for functional testing (RB, CR), pp. 1–12.

Haskell-2016-GriecoCB #automation #fuzzing #named #random

QuickFuzz: an automatic random fuzzer for common file formats (GG, MC, PB), pp. 13–20.

Haskell-2016-YallopL #commutative #revisited

Causal commutative arrows revisited (JY, HL), pp. 21–32.

Haskell-2016-PerezBN #functional #programming

Functional reactive programming, refactored (IP0, MB, HN), pp. 33–44.

Haskell-2016-Gibbons #delivery #functional

Free delivery (functional pearl) (JG), pp. 45–50.

Haskell-2016-ChauhanKY #how #pointer

How to twist pointers without breaking them (SC, PPK, BAY), pp. 51–61.

Haskell-2016-Ekblad #haskell #web

High-performance client-side web applications through Haskell EDSLs (AE), pp. 62–73.

Haskell-2016-Yamamoto #case study #experience #haskell #performance

Experience report: developing high performance HTTP/2 server in Haskell (KY), pp. 74–79.

Haskell-2016-PickeringEJE

Pattern synonyms (MP, GÉ, SPJ, RAE), pp. 80–91.

Haskell-2016-MarlowJKM #haskell

Desugaring Haskell's do-notation into applicative operations (SM, SPJ, EK, AM), pp. 92–104.

Haskell-2016-LeYF #haskell #memory management #transaction

Revisiting software transactional memory in Haskell (ML, RY, MF), pp. 105–113.

Haskell-2016-WangNF #algorithm #named #search-based #strict #using

Autobahn: using genetic algorithms to infer strictness annotations (YRW, DN, KF), pp. 114–126.

Haskell-2016-AugustssonA #algebra #case study #experience #library #relational

Experience report: types for a relational algebra library (LA, MÅ), pp. 127–132.

Haskell-2016-LindleyM #haskell

Embedding session types in Haskell (SL, JGM), pp. 133–145.

Haskell-2016-PloegCB #dynamic typing #monad #type safety #type system

The Key monad: type-safe unconstrained dynamic typing (AvdP, KC, PB), pp. 146–157.

Haskell-2016-BrackerN #named

Supermonads: one notion to bind them all (JB, HN), pp. 158–169.

Haskell-2016-MokhovMJM #harmful #recursion #scalability

Non-recursive make considered harmful: build systems at scale (AM, NM, SPJ, SM), pp. 170–181.

Haskell-2016-DexterLC #graph #haskell #lazy evaluation

Lazy graph processing in Haskell (PD, YDL, KC), pp. 182–192.