Registered user since Tue 7 Jul 2015
Name: Andrew Kent
Bio: Andrew is a PhD student at Indiana University working with Sam Tobin-Hochstadt, currently exploring the intersection between gradual typing and more advanced type theoretic features.
Country: United States
Affiliation: Indiana University
Research interests: Programming Languages
Contributions
| PLDI 2016 | Author of Occurrence Typing Modulo Theories within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2016-profile
View general profile
View general profile