From System F to typed assembly language (1998)

by G MORRISETT, D WALKER, K CRARY, N GLEW
Venue:In Proceedings of the 25th Annual ACMSIGPLAN-SIGACT Symposium on Principles of Programming Languages