Compiling with Types, Greg Morrisett, (gzipped postscript), Ph.D. Thesis, Published as CMU Technical Report CMU-CS-95-226, December, 1995.

Languages mentioned

• TIL {1995}
• TILT {1997}