@inproceedings{lemay-2023-a, series={TyDe ’23}, title={A Dependently Typed Language with Dynamic Equality}, url={http://dx.doi.org/10.1145/3609027.3609407}, DOI={10.1145/3609027.3609407}, booktitle={Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development}, publisher={ACM}, author={Lemay, Mark and Fu, Qiancheng and Blair, William and Zhang, Cheng and Xi, Hongwei}, year={2023}, month=Aug, pages={44–57} }