TY  - RPRT
TI  - Proof Pearl: Magic Wand as Frame
AU  - Qinxiang Cao
AU  - Shengyi Wang
AU  - Aquinas Hobor
AU  - Andrew W. Appel
PY  - 2019
UR  - https://arxiv.org/abs/1909.08789
ID  - 1909.08789
ER  -