Write a Blog >>
Andrew Kent

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 Occurrence Typing Modulo Theories
Show activities from other conferences

PLDI 2016-profile
View general profile