From system F to typed assembly language (1998)

by G Morrisett, D Walker, K Crary, N Glew
Venue:In Proc. of 25th ACM Symposium on Principles of Programming Languages