Con types (1999)

by B Bokowski, J Vitek
Venue:In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA