Toward a foundational typed assembly language.

Karl Crary

Browse the full POPL paper archive.