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, }