ringer-2021-proof:
  type: article
  title: Proof repair across type equivalences
  author:
  - Ringer, Talia
  - Porter, RanDair
  - Yazdani, Nathaniel
  - Leo, John
  - Grossman, Dan
  date: 2021-06
  page-range: 112-127
  serial-number:
    doi: 10.1145/3453483.3454033
  parent:
    type: proceedings
    title: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
    publisher: ACM