Encapsulating objects with confined types (2001)

by C Grothoff, J Palsberg, J Vitek
Venue:In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA