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

by Andrew Mccreight , Tim Chevalier , Andrew Tolmach
Venue:In ICFP
Citations:12 - 0 self