Ben Lippmeier
Proceedings of the Eighth International Symposium on Haskell
Haskell, 2015.

@proceedings{Haskell-2015,
	doi           = "10.1145/2804302",
	editor        = "Ben Lippmeier",
	isbn          = "978-1-4503-3808-0",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Eighth International Symposium on Haskell}",
	year          = 2015,
}

Contents (18 items)

Haskell-2015-Diatchki #haskell #smt

Improving Haskell types with SMT (ISD), pp. 1–10.

Haskell-2015-Gundry #constraints #haskell #plugin #theorem proving

A typechecker plugin for units of measure: domain-specific constraint solving in GHC Haskell (AG), pp. 11–22.

Haskell-2015-FarmerSG #equation #haskell #reasoning #source code #tool support

Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs (AF, NS, AG), pp. 23–34.

Haskell-2015-Breitner #compilation #proving

Formally proving a compiler transformation safe (JB), pp. 35–46.

Haskell-2015-PerezN #user interface

Bridging the GUI gap with reactive values and relations (IP0, HN), pp. 47–58.

Haskell-2015-GillSDEFGRSS #design pattern #monad

The remote monad design pattern (AG, NS, JD, AE, AF, MG, JR, RS, JS), pp. 59–70.

Haskell-2015-Morris

Variations on variants (JGM), pp. 71–81.

Haskell-2015-OliveiraMY #approach #composition

Modular reifiable matching: a list-of-functors approach to two-level types (BCdSO, SCM, SHY), pp. 82–93.

Haskell-2015-KiselyovI #monad

Freer monads, more extensible effects (OK, HI), pp. 94–105.

Haskell-2015-Foner #functional #monad

Functional pearl: getting a quick fix on comonads (KF), pp. 106–117.

Haskell-2015-StolarekJE #haskell #injection #product line

Injective type families for Haskell (JS, SLPJ, RAE), pp. 118–128.

Haskell-2015-SerranoHB #product line

Type families with class, type classes with family (AS0, JH, PB), pp. 129–140.

Haskell-2015-WalkerR #concurrent #haskell #library #testing

Déjà Fu: a concurrency testing library for Haskell (MW0, CR), pp. 141–152.

Haskell-2015-TrillaR #parallel

Improving implicit parallelism (JMCT, CR), pp. 153–164.

Haskell-2015-ScibiorGG #monad #probability #programming

Practical probabilistic programming with monads (AS, ZG, ADG), pp. 165–176.

Haskell-2015-Polakow #haskell #linear #λ-calculus

Embedding a full linear Lambda calculus in Haskell (JP), pp. 177–188.

Haskell-2015-ElliottPWHBSSL

Guilt free ivory (TE, LP, SW, PCH, JB, JS, ELS, JL), pp. 189–200.

Haskell-2015-McDonellCGN #code generation #runtime #type safety

Type-safe runtime code generation: accelerate to LLVM (TLM, MMTC, VG, RRN), pp. 201–212.