Alias types (2000)

by F Smith, D Walker, G Morrisett
Venue:In European Symposium on Programming