Flexible recovery of uniqueness and immutability (Extended Version). - Paola Giannini; Marco Servetto; Elena Zucca; James Cone (CoRR, 2018)

Flexible recovery of uniqueness and immutability. - Paola Giannini; Marco Servetto; Elena Zucca; James Cone (Theor. Comput. Sci., 2019)