(Joint work with Jonathan Aldrich and Luis Caires)
We present an abstraction - views - that merges aliasing and (type)state control in an object-oriented language. These views can be split, merged and recombined to more flexibly model the permissions a client has to an object. We show examples of disjoint permissions and some ongoing research on handling shared interference.