TY  - RPRT
TI  - Is Sized Typing for Coq Practical?
AU  - Jonathan Chan
AU  - Yufeng Li
AU  - William J. Bowman
PY  - 2021
DO  - 10.1017/s0956796822000120
UR  - https://arxiv.org/abs/1912.05601
ID  - 1912.05601
ER  -