@misc{indiciae052b735817ad,
  title = {Is Sized Typing for Coq Practical?},
  author = {Jonathan Chan and Yufeng Li and William J. Bowman},
  year = {2021},
  doi = {10.1017/s0956796822000120},
  url = {https://arxiv.org/abs/1912.05601},
  note = {Source identifier: 1912.05601}
}