A certified framework for compiling and executing garbage-collected languages (2010)

by A McCreight, T Chevalier, A Tolmach
Venue:In Proc. 2010 ACM SIGPLAN International Conference on Functional Programming