Dependent types for low-level programming (2007)

by Jeremy Condit, Matthew Harren, Zachary Anderson, David Gay, George C Necula
Venue:In Proc. of the16th European Symp. on Programming (ESOP