ACTS: A Type System for Object-Oriented Programming Based on Abstract and Concrete Classes.

Mahesh H. Dodani, Chung-Shin Tsai

Browse the full ECOOP paper archive.