Registered user since Wed 1 Nov 2017
Name:Matthijs Vákár
Affiliation:University of Oxford
Contributions
| POPL 2019 | A Domain Theory for Statistical Probabilistic Programming | ||||||||||||||||||||||||||||||||||||||||
| LAFI 2019 | Invited talk: Connecting Probabilistic Programming Theory to Applications in Stan | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2019-profile
View general profile
View general profile