TY  - RPRT
TI  - Sealing Pointer-Based Optimizations Behind Pure Functions
AU  - Daniel Selsam
AU  - Simon Hudon
AU  - Leonardo de Moura
PY  - 2020
UR  - https://arxiv.org/abs/2003.01685
ID  - 2003.01685
ER  -