Alias types for recusive data structures (2000)

by David Walker, Greg Morrisett
Venue:In Workshop on Types in Compilation