Dependent types for low-level programming (2007)

by J Condit, M Harren, Z Anderson, D Gay, G C Necula
Venue:In InProc.ofthe 16th European Symp. on Programming (ESOP