Separating ownership topology and encapsulation with generic universe types (0)

by W Dietl, S Drossopoulou, P Müller
Venue:ACM Transactions on Programming Languages and Systems (TOPLAS