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 systems.

Country:United States
Affiliation:Indiana University
Personal website:http://andmkent.com
Research interests:Programming Languages

Contributions

PLDI 2016 Author of Occurrence Typing Modulo Theories within the Research Papers-track
STOP 2015 Author of Adding Practical Dependent Types to Typed Racket within the STOP-track
DLS Presenter of Design and Evaluation of Gradual Typing for Python within the DLS-track