Encapsulating objects with confined types (0)

by Christian Grothoff, Jens Palsberg, Jan Vitek
Venue:Transactions on Programming Languages and Systems