From system F to typed assembly language (extended version (1997)

by G Morrisett, D Walker, K Crary, N Glew
Venue:In Proc. Principles of Programming Languages (POPL’98