Registered user since Wed 3 Jan 2018
Name:Daniel Selsam
Country:United States
Affiliation:Stanford University
Personal website:http://stanford.edu/~dselsam/
Contributions
| PPS 2018 | Formal Methods For Probabilistic Programming | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2018-profile
View general profile
View general profile