Type Structure for Low-Level Programming Languages.

Karl Crary, J. Gregory Morrisett

Browse the full ICALP paper archive.