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

PPS 2018 Constructive probabilistic semantics with non-spatial locales
Show activities from other conferences

POPL 2018-profile
View general profile