From System F to typed assembly language (1998)

by Greg Morrisett, David Walker, Karl Crary, Neal Glew
Venue:In Conference Record of the 25th Annual ACM Symposium on Principles of Programming Languages