Proof repair across type equivalences.

Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, Dan Grossman

Browse the full PLDI paper archive.