TY - RPRT TI - Do Mutable Variables Have Reference Types? AU - Oleg Kiselyov PY - 2022 UR - https://arxiv.org/abs/2211.04107 ID - 2211.04107 ER -