Verifying effectful Haskell programs in Coq
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

Jan Christiansen, Sandra Dylus, Niels Bunkenburg
Verifying effectful Haskell programs in Coq
Haskell, 2019.

Haskell 2019
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{Haskell-2019-ChristiansenDB,
	author        = "Jan Christiansen and Sandra Dylus and Niels Bunkenburg",
	booktitle     = "{Proceedings of the 12th International Symposium on Haskell}",
	doi           = "10.1145/3331545.3342592",
	isbn          = "978-1-4503-6813-1",
	pages         = "125--138",
	publisher     = "{ACM}",
	title         = "{Verifying effectful Haskell programs in Coq}",
	year          = 2019,
}

Tags:



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.