@inproceedings{DBLP:conf/icfp/McCreightCT10,
 author = {Andrew McCreight and
Tim Chevalier and
Andrew P. Tolmach},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/icfp/McCreightCT10.bib},
 booktitle = {Proceedings of the 15th ACM SIGPLAN International Conference on
Functional Programming, ICFP 2010, Baltimore, Maryland, USA, September
27-29, 2010},
 doi = {10.1145/1863543.1863584},
 editor = {Paul Hudak and
Stephanie Weirich},
 pages = {273--284},
 publisher = {ACM},
 timestamp = {Thu, 17 Apr 2025 15:28:58 +0200},
 title = {A certified framework for compiling and executing garbage-collected
languages},
 url = {https://doi.org/10.1145/1863543.1863584},
 year = {2010}
}