TY  - RPRT
TI  - Approximate Normalization for Gradual Dependent Types
AU  - Joseph Eremondi
AU  - Éric Tanter
AU  - Ronald Garcia
PY  - 2019
DO  - 10.1145/3341692
UR  - https://arxiv.org/abs/1906.06469
ID  - 1906.06469
ER  -