Paths: An Abstract Alternative to Pointers.

Robert Cartwright, Robert Hood, Philip Mathews

Browse the full POPL paper archive.