Registered user since Sun 25 Oct 2015
Name:Ben Greenman
Bio:
Delmar NY -> Cornell University (BS, M.Eng) -> Northeastern University (PhD from Matthias, expected ~2020)
Country:United States
Affiliation:Northeastern University
Personal website:http://www.ccs.neu.edu/home/types/
Research interests:Language design, static analysis, type systems
Contributions
| PEPM 2018 | On the Cost of Type-Tag Soundness | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2018-profile
View general profile
View general profile