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

Cached

Download Links

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

Document Versions

Safe and decidable type checking in an object-oriented language –Kim B. Bruce, Jon Crabtree, Thomas P. Murtagh, Robert Van Gent, Williamstown Ma, Allyn Dimock, Robert Muller — 1993 — In OOPSLA '93 Conference Proceedings
Safe and decidable type checking in an object-oriented language –Kim B. Bruce, Jon Crabtree, Thomas P. Murtagh, Robert Van Gent, Williamstown Ma, Allyn Dimock, Robert Muller — 1993 — In OOPSLA '93 Conference Proceedings