Type-preserving garbage collectors (2001)

by Daniel Wang, Andrew Appel
Venue:In Proc. ACM Symposium on Principles of Programming Languages (POPL