Registered user since Wed 1 Nov 2017
Name: Matthijs Vákár
Affiliation: University of Oxford
Contributions
| HOPE 2018 | Author of A domain theory for statistical probabilistic programming within the HOPE 2018-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2018-profile
View general profile
View general profile