TY  - RPRT
TI  - A graded dependent type system with a usage-aware semantics (extended version)
AU  - Pritam Choudhury
AU  - Harley Eades III
AU  - Richard A. Eisenberg
AU  - Stephanie C Weirich
PY  - 2021
UR  - https://arxiv.org/abs/2011.04070
ID  - 2011.04070
ER  -