Encapsulating objects with con types (2001)

by Christian Grotho, Jens Palsberg, Jan Vitek
Venue:In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA'01