The Twenty-Fifth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 1998

[SIGPLAN] SIGPLAN Notices  

Morrisett, Greg; David Walker, Karl Crary, and Nea (1998) Morrisett, Greg; David Walker, Karl Crary, and Neal Glew. From System F to Typed Assembly Language.