Proceedings of the Ninth International Symposium on Haskell
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

FP
DBLP
Scholar
DOI
Full names Links ISxN
@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, , 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, ), 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.