Garbage collection is contrarian

Modeling unrooted handles to garbage collected data using contravariant lifetimes.