Alias types for recursive data structures (2001)

by D Walker, J Morrisett
Venue:In 3rd Types in Compilation