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

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