%0 Journal Article %1 journals/pacmpl/ZhaoMDBPO24 %A Zhao, Eric %A Maroof, Raef %A Dukkipati, Anand %A Blinn, Andrew %A Pan, Zhiyi %A Omar, Cyrus %D 2024 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 2041-2068 %T Total Type Error Localization and Recovery with Holes. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl8.html#ZhaoMDBPO24 %V 8

@article{journals/pacmpl/ZhaoMDBPO24, added-at = {2024-02-10T00:00:00.000+0100}, author = {Zhao, Eric and Maroof, Raef and Dukkipati, Anand and Blinn, Andrew and Pan, Zhiyi and Omar, Cyrus}, biburl = {https://www.bibsonomy.org/bibtex/283d27be6a7033a0b2b5d34d06b4a1b02/dblp}, ee = {https://doi.org/10.1145/3632910}, interhash = {d4ab8d5f39efa39381f2d9f54eabd2b2}, intrahash = {83d27be6a7033a0b2b5d34d06b4a1b02}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, month = {January}, number = {POPL}, pages = {2041-2068}, timestamp = {2024-04-08T09:54:16.000+0200}, title = {Total Type Error Localization and Recovery with Holes.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl8.html#ZhaoMDBPO24}, volume = 8, year = 2024 }