
Registered user since Thu 17 Jul 2014
Name:Asumu Takikawa
Bio:
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.
Country:United States
Affiliation:Northeastern University
Personal website:http://www.ccs.neu.edu/home/asumu/
Research interests:Gradual typing, software contracts, macros
Contributions
POPL 2016 | Is Sound Gradual Typing Dead? | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2016-profile
View general profile
View general profile