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

Document Versions

A certified framework for compiling and executing garbage-collected languages –Andrew Mccreight, Tim Chevalier, Andrew Tolmach — 2010 — In ICFP