@article{chan-2023-is, title={Is sized typing for Coq practical?}, volume={33}, ISSN={1469-7653}, url={http://dx.doi.org/10.1017/s0956796822000120}, DOI={10.1017/s0956796822000120}, journal={Journal of Functional Programming}, publisher={Cambridge University Press (CUP)}, author={CHAN, JONATHAN and LI, YUFENG and BOWMAN, WILLIAM J.}, year={2023} }