TY  - RPRT
TI  - Monotonic References for Gradual Typing
AU  - Jeremy G. Siek
AU  - Michael M. Vitousek
PY  - 2014
UR  - https://arxiv.org/abs/1312.0694
ID  - 1312.0694
ER  -