The TIL/ML Compiler: Performance and Safety Through Types, G. Morrisett, D. Tarditi, P. Cheng, C. Stone, R. Harper, P. Lee, 1996 Workshop on Compiler Support for Systems Software.
(1996)
Languages mentioned
TIL
{1995}
TILT
{1997}