Registered user since Thu 18 Dec 2014
I am an Assistant Professor in the Department of Computer Science at Indiana University.
|STOP 2015||Adding Practical Dependent Types to Typed Racket|
|ECOOP 2015||Towards Practical Gradual Typing|
|Show activities from other conferences|
View general profile