Compiling Polymorphism Using Intensional Type Analysis

Robert Harper, J. Gregory Morrisett. Compiling Polymorphism Using Intensional Type Analysis. In POPL. pages 130-141, 1995.

Abstract

Abstract is missing.