Bob Carpenter

Registered user since Mon 4 Sep 2017

Name: Bob Carpenter

Affiliation: Columbia University

Personal website: https://bob-carpenter.github.io/

Contributions

PPS 2018 Committee Member in Program Committee within the PPS 2018-track
Show activities from other conferences

POPL 2018-profile
View general profile