Searching for "Safe and Decidable Type Checking in an Object-Oriented Language." – sorted by Relevance.
-
Safe and decidable type checking in an object-oriented language
- Safe and decidable type checking in an object-oriented language Kim B. Bruce, Jon Crabtree
- Cited by 29 (2 self) – Add To MetaCart

