Proceedings of the 12th 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

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

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

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.