Encapsulating objects with confined types (0)

by C GROTHOFF, J PALSBERG, J VITEK
Venue:ACM Trans. Prog. Lang. Syst