According to our database1, Chung-Shin Tsai
Legend:Book In proceedings Article PhD thesis Other
A reliable and flexible type system for object-oriented programming.
Object Oriented Systems, 1996
ACTS: A Type System for Object-Oriented Programming Based on Abstract and Concrete Classes.
Proceedings of the ECOOP '92, European Conference on Object-Oriented Programming, Utrecht, The Netherlands, June 29, 1992