Safe and Decidable Type Checking in an Object-Oriented Language.

Kim B. Bruce, Jonathan Crabtree, Thomas P. Murtagh, Robert van Gent, Allyn Dimock, Robert Muller

Browse the full OOPSLA paper archive.