@article{zhao-2024-total, title={Total Type Error Localization and Recovery with Holes}, volume={8}, ISSN={2475-1421}, url={http://dx.doi.org/10.1145/3632910}, DOI={10.1145/3632910}, number={POPL}, journal={Proceedings of the ACM on Programming Languages}, publisher={Association for Computing Machinery (ACM)}, author={Zhao, Eric and Maroof, Raef and Dukkipati, Anand and Blinn, Andrew and Pan, Zhiyi and Omar, Cyrus}, year={2024}, month=Jan, pages={2041–2068} }