Encapsulating objects with confined types (2001)

by C Grothoff, J Palsberg, J Vitek
Venue:in: Proceedings of the OOPSLA Conference on Object-Oriented Programming, Systems, Languages and Applications