Dependent Types for Low-Level Programming
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula
Dependent Types for Low-Level Programming
ESOP, 2007.

ESOP 2007
Full names Links ISxN
	author        = "Jeremy Condit and Matthew Harren and Zachary R. Anderson and David Gay and George C. Necula",
	booktitle     = "{Proceedings of the 16th European Symposium on Programming}",
	doi           = "10.1007/978-3-540-71316-6_35",
	editor        = "Rocco De Nicola",
	isbn          = "978-3-540-71314-2",
	pages         = "520--535",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Dependent Types for Low-Level Programming}",
	volume        = 4421,
	year          = 2007,


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.