From System F to Typed Assembly Language.

J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew

Browse the full POPL paper archive.