TY  - RPRT
TI  - Abstracting Gradual Typing Moving Forward: Precise and Space-Efficient (Technical Report)
AU  - Felipe Bañados Schwerter
AU  - Alison M. Clark
AU  - Khurram A. Jafery
AU  - Ronald Garcia
PY  - 2020
UR  - https://arxiv.org/abs/2010.14094
ID  - 2010.14094
ER  -