Inproceedings,
TIL: a type-directed, optimizing compiler for ML (with retrospective)
D. Tarditi, J. Morrisett, P. Cheng, C. Stone, R. Harper, and P. Lee.Best of PLDI, page 554-567. ACM, (1996)
Meta data
- BibTeX key
- conf/pldi/TarditiMCSHL96a
- entry type
- inproceedings
- booktitle
- Best of PLDI
- year
- 1996
- pages
- 554-567
- publisher
- ACM
- crossref
- conf/pldi/2004best
- ee
- https://www.wikidata.org/entity/Q122964649
- isbn
- 1-58113-623-4
- url
- http://dblp.uni-trier.de/db/conf/pldi/pldi2004best.html#TarditiMCSHL96a
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/pldi/TarditiMCSHL96a
%A Tarditi, David
%A Morrisett, J. Gregory
%A Cheng, Perry
%A Stone, Christopher A.
%A Harper, Robert
%A Lee, Peter
%B Best of PLDI
%D 1996
%E McKinley, Kathryn S.
%I ACM
%K dblp
%P 554-567
%T TIL: a type-directed, optimizing compiler for ML (with retrospective)
%U http://dblp.uni-trier.de/db/conf/pldi/pldi2004best.html#TarditiMCSHL96a
%@ 1-58113-623-4
@inproceedings{conf/pldi/TarditiMCSHL96a,
added-at = {2023-10-21T00:00:00.000+0200},
author = {Tarditi, David and Morrisett, J. Gregory and Cheng, Perry and Stone, Christopher A. and Harper, Robert and Lee, Peter},
biburl = {https://www.bibsonomy.org/bibtex/21e2151767e0e09ad85cb7e4063bbd86e/dblp},
booktitle = {Best of PLDI},
crossref = {conf/pldi/2004best},
editor = {McKinley, Kathryn S.},
ee = {https://www.wikidata.org/entity/Q122964649},
interhash = {096042a2fcb7324bd0e7314a12664383},
intrahash = {1e2151767e0e09ad85cb7e4063bbd86e},
isbn = {1-58113-623-4},
keywords = {dblp},
pages = {554-567},
publisher = {ACM},
timestamp = {2024-04-09T19:00:06.000+0200},
title = {TIL: a type-directed, optimizing compiler for ML (with retrospective)},
url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2004best.html#TarditiMCSHL96a},
year = 1996
}