TY  - RPRT
TI  - Mutable WadlerFest DOT
AU  - Marianna Rapoport
AU  - Ondřej Lhoták
PY  - 2016
UR  - https://arxiv.org/abs/1611.07610
ID  - 1611.07610
ER  -