Joseph Vanderwaart Karl Crary A typed interface for garbage collection. 109-122 2003 conf/tldi/2003 TLDI http://doi.acm.org/10.1145/604174.604189 db/conf/tldi/tldi2003.html#VanderwaartC03