Chris Hawblitzel Heng Huang Lea Wittie Juan Chen A garbage-collecting typed assembly language. 41-52 2007 conf/tldi/2007 TLDI http://doi.acm.org/10.1145/1190315.1190323 db/conf/tldi/tldi2007.html#HawblitzelHWC07