RanDair Porter

Publication Activity (10 Years)

Years Active: 2020-2021
Publications (10 Years): 2

Top Topics

Connected Components

Top Venues

Publications

Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, Dan Grossman
Proof repair across type equivalences. PLDI (2021)
Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, Dan Grossman
Proof Repair Across Type Equivalences. CoRR (2020)