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

@proceedings{Haskell-2018,
	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.

Haskell-2018-MartinezJL

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.

Haskell-2018-EisenbergBJ

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.

Haskell-2018-MatsudaW

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.