SPLASH 2019 (series) / Ben Greenman
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: PLT @ Northeastern University
Personal website: http://www.ccs.neu.edu/home/types/
Research interests: language design, static analysis, type systems
Contributions
| SPLASH 2019 | Author of Complete Monitors for Gradual Types within the OOPSLA-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile