From System F to Typed Assembly Language (1998)

by Greg Morrisett, David Walker, Karl Crary, Neal Glew
Venue:ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS