From System F to typed assembly language (1998)

by Greg Morrisett, David Walker, Karl Crary, Neal Glew
Venue:In 25th ACM SIGPLAN/SIGSIGACT Symposium on Principles of Programming Languages