TY - RPRT TI - Coeffects for Sharing and Mutation AU - Riccardo Bianchini AU - Francesco Dagnino AU - Paola Giannini AU - Elena Zucca AU - Marco Servetto PY - 2022 UR - https://arxiv.org/abs/2209.07439 ID - 2209.07439 ER -