@misc{indiciae63a525427223,
  title = {Index-Stratified Types (Extended Version)},
  author = {Rohan Jacob-Rao and Brigitte Pientka and David Thibodeau},
  year = {2018},
  url = {https://arxiv.org/abs/1805.00401},
  note = {Source identifier: 1805.00401}
}