The space cost of lazy reference counting.

Hans-Juergen Boehm

Browse the full POPL paper archive.