Encapsulating objects with confined types,” (2007)

by C Grothoff, J Palsberg, J Vitek
Venue:ACM TOPLAS,