A certified framework for compiling and executing garbage-collected languages.

Andrew McCreight, Tim Chevalier, Andrew P. Tolmach

Browse the full ICFP paper archive.