@misc{indiciae7f14199b7b15,
  title = {Abstracting Gradual Typing Moving Forward: Precise and Space-Efficient (Technical Report)},
  author = {Felipe Bañados Schwerter and Alison M. Clark and Khurram A. Jafery and Ronald Garcia},
  year = {2020},
  url = {https://arxiv.org/abs/2010.14094},
  note = {Source identifier: 2010.14094}
}