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

POPL 2018 Activities

• Author of On the Cost of Type-Tag Soundness within the PEPM 2018-track in PEPM 2018
• Show activities from other conferences