Alias types (2000)

by Frederick Smith, David Walker, Greg Morrisett
Venue:In Proceedings of the 9th European Symposium on Programming (ESOP