@misc{indiciaed89d442bc74e,
  title = {Approximate Normalization for Gradual Dependent Types},
  author = {Joseph Eremondi and Éric Tanter and Ronald Garcia},
  year = {2019},
  doi = {10.1145/3341692},
  url = {https://arxiv.org/abs/1906.06469},
  note = {Source identifier: 1906.06469}
}