ECOOP 2015 (series) / 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
| STOP 2015 | Adding Practical Dependent Types to Typed Racket | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ECOOP 2015-profile
View general profile
View general profile