Registered user since Thu 17 Jul 2014
I am a PhD student at Northeastern University. I am interested in pragmatic programming language design. My current research focuses on enabling programmers to evolve real code bases using tools such as type systems and software contracts.
|POPL 2016||Is Sound Gradual Typing Dead?|
|Show activities from other conferences|
View general profile