@misc{indiciaed6cdfa73586d,
  title = {Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types},
  author = {Jana Dunfield and Neelakantan R. Krishnaswami},
  year = {2020},
  url = {https://arxiv.org/abs/1601.05106},
  note = {Source identifier: 1601.05106}
}