Andrew McCreight, Tim Chevalier, Andrew P. Tolmach
A certified framework for compiling and executing garbage-collected languages
ICFP, 2010.
@inproceedings{ICFP-2010-McCreightCT,
author = "Andrew McCreight and Tim Chevalier and Andrew P. Tolmach",
booktitle = "{Proceedings of the 15th International Conference on Functional Programming}",
doi = "10.1145/1863543.1863584",
editor = "Paul Hudak and Stephanie Weirich",
isbn = "978-1-60558-794-3",
pages = "273--284",
publisher = "{ACM}",
title = "{A certified framework for compiling and executing garbage-collected languages}",
year = 2010,
}











