Alias types for recursive data structures. (2000)

by David Walker, J Gregory Morrisett
Venue:In TIC,