Safe and decidable type checking in an object-oriented language (1993)

by Kim B. Bruce, Jon Crabtree, Thomas P. Murtagh, Robert Van Gent, Williamstown Ma, Allyn Dimock, Robert Muller
Venue:In OOPSLA '93 Conference Proceedings