Daniel Selsam

Registered user since Wed 3 Jan 2018

Name:Daniel Selsam
Country:United States
Affiliation:Stanford University

Contributions

PPS 2018 Formal Methods For Probabilistic Programming
Show activities from other conferences

POPL 2018-profile
View general profile