Proceedings of the 11th International Symposium on Haskell
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Nicolas Wu
Proceedings of the 11th International Symposium on Haskell
Haskell, 2018.

Full names Links ISxN
	doi           = "10.1145/3242744",
	editor        = "Nicolas Wu",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 11th International Symposium on Haskell}",
	year          = 2018,

Contents (16 items)

Haskell-2018-MistaRH #branch #generative #process #quickcheck
Branching processes for QuickCheck generators (AM, AR, JH), pp. 1–13.
Haskell-2018-Breitner #testing
A promise checked is a promise kept: inspection testing (JB), pp. 14–25.
Haskell-2018-HandleyH #haskell #named #performance #source code
AutoBench: comparing the time performance of Haskell programs (MATH, GH), pp. 26–37.
Haskell-2018-SunF #maintenance #performance
Autobahn 2.0: minimizing bangs while maintaining performance (system demonstration) (MS, KF), pp. 38–40.
Haskell-2018-SerranoM #programming
Generic programming of all kinds (AS0, VCM), pp. 41–54.
Haskell-2018-BlondalLS #anti #how
Deriving via: or, how to turn hand-written instances into an anti-pattern (BB, AL, RS), pp. 55–67.
Improving typeclass relations by being open (GM, MJ, GDL), pp. 68–80.
Haskell-2018-WinantD #haskell #taxonomy
Coherent explicit dictionary application for Haskell (TW, DD), pp. 81–93.
Type variables in patterns (RAE, JB, SPJ), pp. 94–105.
Haskell-2018-OtwaniE #plugin
The Thoralf plugin: for your fancy type needs (DO, RAE), pp. 106–118.
Haskell-2018-Noonan #functional #proving
Ghosts of departed proofs (functional pearl) (MN), pp. 119–131.
Haskell-2018-VazouBKHH #equation #functional #haskell #proving #reasoning #theorem proving
Theorem proving for all: equational reasoning in liquid Haskell (functional pearl) (NV, JB, RK, DVH, GH), pp. 132–144.
Haskell-2018-Barenz0 #named
Rhine: FRP with type-level clocks (MB, IP0), pp. 145–157.
Embedding invertible languages with binders: a case of the FliPpr language (KM, MW0), pp. 158–171.
Haskell-2018-HanH #case study #experience #manycore
A high-performance multicore IO manager based on libuv (experience report) (DH, TH), pp. 172–178.
Haskell-2018-Gissurarson #case study #experience
Suggesting valid hole fits for typed-holes (experience report) (MPG), pp. 179–185.

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.