David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee
TIL: a type-directed, optimizing compiler for ML (with retrospective)
PLDI, 1996.
@inproceedings{Best-of-PLDI-1996-TarditiMCSHL96a,
author = "David Tarditi and J. Gregory Morrisett and Perry Cheng and Christopher A. Stone and Robert Harper and Peter Lee",
booktitle = "{20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection}",
doi = "10.1145/989393.989449",
editor = "Kathryn S. McKinley",
isbn = "1-58113-623-4",
pages = "554--567",
publisher = "{ACM}",
title = "{TIL: a type-directed, optimizing compiler for ML (with retrospective)}",
year = 1996,
}
Tags: