We gratefully acknowledge support from
the Simons Foundation and member institutions.

Paola Giannini is qualified to endorse.

Flexible recovery of uniqueness and immutability (Extended Version)

Paola Giannini: Is registered as an author of this paper.
Can endorse for cs.LO, cs.PL. (why?)

Marco Servetto, Elena Zucca and James Cone are not registered as owners of this paper. (why?)