Flexible recovery of uniqueness and immutability (Extended Version)

Paola Giannini, Marco Servetto, Elena Zucca +1

We present an imperative object calculus where types are annotated with qualifiers for aliasing and mutation control. There are two key novelties with respect to similar proposals.…