@inproceedings{ringer-2021-proof, series={PLDI ’21}, title={Proof repair across type equivalences}, url={http://dx.doi.org/10.1145/3453483.3454033}, DOI={10.1145/3453483.3454033}, booktitle={Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation}, publisher={ACM}, author={Ringer, Talia and Porter, RanDair and Yazdani, Nathaniel and Leo, John and Grossman, Dan}, year={2021}, month=June, pages={112–127}, collection={PLDI ’21} }