From system F to typed assembly language

J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew. From system F to typed assembly language. ACM Transactions on Programming Languages and Systems, 21(3):527-568, 1999. [doi]

Abstract

Abstract is missing.