Mahesh Dodani, Chung-Shin Tsai
ACTS: A Type System for Object-Oriented Programming Based on Abstract and Concrete Classes
ECOOP, 1992.
@inproceedings{ECOOP-1992-DodaniT, author = "Mahesh Dodani and Chung-Shin Tsai", booktitle = "{Proceedings of the Sixth European Conference on Object-Oriented Programming}", doi = "10.1007/BFb0053044", editor = "Ole Lehrmann Madsen", isbn = "3-540-55668-0", pages = "309--328", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{ACTS: A Type System for Object-Oriented Programming Based on Abstract and Concrete Classes}", volume = 615, year = 1992, }