Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 Virtual Conference
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

PLDI 2021 Proof Repair Across Type Equivalences
Show activities from other conferences

Using general profile