Alias types for recursive data structures (2000)

by David Walker, Greg Morrisett
Venue:In Types in Compilation (TIC