Not registered as user yet

Name:RanDair Porter
Country:United States
Affiliation:University of Washington

Contributions

PLDI 2021 Author of Proof Repair across Type Equivalences within the PLDI-track