TIL: A Type-Directed Optimizing Compiler for ML

@inproceedings{citeulike:82934, abstract = {We describe a new compiler for Standard ML called TIL, that is based on four technologies: intensional polymorphism, tag-free garbage collection, conventional functional language optimization, and loop optimization. We use intensional polymorphism and tag-free garbage collection to provide specialized representations, even though SML is a polymorphic language. We use conventional functional language optimization to reduce the cost of intensional polymorphism, and loop optimization to generate...}, author = {Tarditi, D. and Morrisett, G. and Cheng, P. and Stone, C. and Harper, R. and Lee, P. }, booktitle = {Proc. ACM SIGPLAN '96 Conference on Programming Language Design and Implementation}, citeulike-article-id = {82934}, keywords = {compiler, ml}, pages = {181--192}, posted-at = {2005-01-24 18:53:09}, priority = {2}, title = {TIL: A Type-Directed Optimizing Compiler for ML}, url = {http://citeseer.ist.psu.edu/tarditi95til.html}, year = {1996} }

TY - CONF ID - citeulike:82934 L3 - citeulike-article-id:82934 TI - TIL: A Type-Directed Optimizing Compiler for ML T2 - Proc. ACM SIGPLAN '96 Conference on Programming Language Design and Implementation SP - 181 EP - 192 N2 - We describe a new compiler for Standard ML called TIL, that is based on four technologies: intensional polymorphism, tag-free garbage collection, conventional functional language optimization, and loop optimization. We use intensional polymorphism and tag-free garbage collection to provide specialized representations, even though SML is a polymorphic language. We use conventional functional language optimization to reduce the cost of intensional polymorphism, and loop optimization to generate... KW - compiler KW - ml AU - Tarditi, D AU - Morrisett, G AU - Cheng, P AU - Stone, C AU - Harper, R AU - Lee, P PY - 1996/// UR - http://citeseer.ist.psu.edu/tarditi95til.html ER -