Type-Driven Verification of Non-functional Properties
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Christopher Brown 0002, Adam D. Barwell, Yoann Marquer, Céline Minh, Olivier Zendra
Type-Driven Verification of Non-functional Properties
PPDP, 2019.

PPDP 2019
Full names Links ISxN
	author        = "Christopher Brown 0002 and Adam D. Barwell and Yoann Marquer and Céline Minh and Olivier Zendra",
	booktitle     = "{Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming}",
	doi           = "10.1145/3354166.3354171",
	isbn          = "978-1-4503-7249-7",
	pages         = "15",
	publisher     = "{ACM}",
	title         = "{Type-Driven Verification of Non-functional Properties}",
	year          = 2019,


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.