From System F to typed assembly language. ACM transactions on programming languages and systems (1999)

by Greg Morrisett, David Walker, Karl Crary, Neal Glew
Venue:in the 1998 Symposium on Principles of Programming Languages