Ben Greenman

Registered user since Sun 25 Oct 2015

Name:Ben Greenman

Delmar NY -> Cornell University (BS, M.Eng) -> Northeastern University (PhD from Matthias, expected ~2020)

Country:United States
Affiliation:Northeastern University
Research interests:Language design, static analysis, type systems


PEPM 2018 On the Cost of Type-Tag Soundness
Show activities from other conferences

POPL 2018-profile
View general profile