From System F to typed assembly language (1999)

by Greg Morrisett, David Walker, Karl Crary, Neal Glew
Venue:ACM Transactions on Programming Languages and Systems