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
View general profile