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

ECOOP 2015 Activities

• Author of Adding Practical Dependent Types to Typed Racket within the STOP-track in STOP 2015
• Show activities from other conferences