From System F to typed assembly language. (1999)

by G Morrisett, D Walker, K Crary, N Glew
Venue:ACM Transactions on Programming Languages and Systems,