Dependent Types for Low-Level Programming.

Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula

Browse the full ESOP paper archive.