The ramifications of sharing in data structures.

Aquinas Hobor, Jules Villard

Browse the full POPL paper archive.