Registered user since Mon 31 Oct 2016

Name: Kartik Chandra

Country: United States

Affiliation: Stanford University

Personal website: http://stanford.edu/~kach/

Contributions

POPL 2018 Bonsai: Synthesis-Based Reasoning for Type Systems
Bonsai: Synthesis-Based Reasoning for Type Systems
Show activities from other conferences

POPL 2018-profile
View general profile