Harper, Robert and Morrisett, Greg "Compiling Polymorphism Using Intensional Type Analysis"

[POPL 1995] (1995) [ACM SIGACT-SIGPLAN] Proc. of the 22nd Annual ACM Symposium on Principles of Programming Languages, San Francisco, January 1995.  

Languages mentioned TIL {1995} TILT {1997}