Con types (1999)

by B Bokowski, J Vitek
Venue:In Proceedings of Conference on Object-Oriented Programming, Languages, and Applications