Formal Description for Collecting Reachable Garbage via Dynamic Type Inference (1998)

by H Hosoya, A Yonezawa
Venue:In: Proceedings of the Second International Workshop on Types in Compilation (TIC98