Dependent types for low-level programming (2007)

by Jeremy Condit, Matthew Harren, Zachary R Anderson, David Gay, George C Necula
Venue:In ESOP