Richard A. Eisenberg
Proceedings of the 12th International Symposium on Haskell
Haskell, 2019.

@proceedings{Haskell-2019,
	acmid         = "3331545",
	doi           = "10.1145/3331545",
	editor        = "Richard A. Eisenberg",
	isbn          = "978-1-4503-6813-1",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 12th International Symposium on Haskell}",
	year          = 2019,
}

Contents (13 items)

Haskell-2019-Devriese #approach #case study #composition #haskell #morphism #polymorphism #taxonomy #verification

Modular effects in Haskell through effect polymorphism and explicit dictionary applications: a new approach and the μVeriFast verifier as a case study (DD), pp. 1–14.

Haskell-2019-ScottN #flexibility

Generic and flexible defaults for verified, law-abiding type-class instances (RGS, RRN), pp. 15–29.

Haskell-2019-PauwelsKDS #bidirectional

Bidirectional type class instances (KP, GK, MD, TS), pp. 30–43.

Haskell-2019-HallahanXP #constraints #haskell #named #theorem proving

G2Q: Haskell constraint solving (WTH, AX, RP), pp. 44–57.

Haskell-2019-DownenSAJ #performance

Making a faster Curry with extensional types (PD, ZS, ZMA, SPJ), pp. 58–70.

Haskell-2019-PickeringWK #multi #source code

Multi-stage programs in context (MP, NW, CK), pp. 71–84.

Haskell-2019-PickeringWN #plugin

Working with source plugins (MP, NW, BN), pp. 85–97.

Haskell-2019-SchrijversPWJ #algebra #composition #monad #what

Monad transformers and modular algebraic effects: what binds them together (TS, MP, NW, MJ), pp. 98–113.

Haskell-2019-Ekblad #database #monad #query #relational

Scoping monadic relational database queries (AE), pp. 114–124.

Haskell-2019-ChristiansenDB #coq #haskell #source code #verification

Verifying effectful Haskell programs in Coq (JC, SD, NB), pp. 125–138.

Haskell-2019-MokhovLL #case study #experience #source code #verification

Formal verification of spacecraft control programs (experience report) (AM, GL, JL), pp. 139–145.

Haskell-2019-ErtelARGC #composition #concurrent #data flow #monad #named #parallel #thread

STCLang: state thread composition as a foundation for monadic dataflow parallelism (SE, JA, NAR, AG, JC), pp. 146–161.

Haskell-2019-Finkbeiner0PS #functional #source code

Synthesizing functional reactive programs (BF, FK0, RP, MS), pp. 162–175.