Publication

@inproceedings{abc,
	author = {Jeremy Condit and Matthew Harren and Zachary R. Anderson and David Gay and George C. Necula},
	booktitle = {Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal},
	title = {Dependent Types for Low-Level Programming.},
	url = {http://dx.doi.org/10.1007/978-3-540-71316-6_35},
	year = {2007}
}