conf.researchr.org / John Leo
John Leo

Registered user since Fri 1 Dec 2017

Name:John Leo
Country:United States
Affiliation:Halfaya Research
Personal website:http://halfaya.org/leo/
Research interests:Type Theory

Contributions

FARM 2021 Author of Performance: Logical Soundness within the FARM 2021-track
PLDI 2021 Author of Proof Repair across Type Equivalences within the PLDI-track
FARM 2019 Author of Demo: Counterpoint by Construction within the FARM 2019-track
CPP 2018 Author of Adapting Proof Automation to Adapt Proofs within the CPP 2018-track