Type-preserving garbage collectors.

Daniel C. Wang, Andrew W. Appel

Browse the full POPL paper archive.