Registered user since Thu 4 May 2017

Name:Benjamin Sherman
Country:United States
Affiliation:Massachusetts Institute of Technology, USA
Research interests:programming languages, type theory

Contributions

Show activities from other conferences

POPL 2018-profile
View general profile