Type structure for low-level programming langauges (1999)

by Karl Crary, Greg Morrisett
Venue:In Twenty-Sixth International Colloquium on Automata, Languages, and Programming