David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee. TIL: a type-directed, optimizing compiler for ML (with retrospective). In Kathryn S. McKinley, editor, 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection. pages 554-567, ACM, 1996. [doi]
@inproceedings{TarditiMCSHL96a,
title = {TIL: a type-directed, optimizing compiler for ML (with retrospective)},
author = {David Tarditi and J. Gregory Morrisett and Perry Cheng and Christopher A. Stone and Robert Harper and Peter Lee},
year = {1996},
doi = {10.1145/989393.989449},
url = {http://doi.acm.org/10.1145/989393.989449},
tags = {optimization, compiler},
researchr = {https://researchr.org/publication/TarditiMCSHL96a},
cites = {0},
citedby = {0},
pages = {554-567},
booktitle = {20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection},
editor = {Kathryn S. McKinley},
publisher = {ACM},
isbn = {1-58113-623-4},
}