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

by Andrew Mccreight, Tim Chevalier, Andrew Tolmach
Venue:In ICFP