@misc{indiciae732ebe8ec121,
  title = {A graded dependent type system with a usage-aware semantics (extended version)},
  author = {Pritam Choudhury and Harley Eades III and Richard A. Eisenberg and Stephanie C Weirich},
  year = {2021},
  url = {https://arxiv.org/abs/2011.04070},
  note = {Source identifier: 2011.04070}
}