Garbage collection via dynamic type inference --- a formal treatment (1998)

by H Hosoya, A Yonezawa
Venue:In Proc. Second International Workshop on Types in Compilation (TIC'98), volume 1473 of Lect. Notes in Computer Sci