Registered user since Sat 24 Jun 2017
Name: Ugo Dal Lago
Affiliation: University of Bologna, France
Contributions
| ICFP 2016 | Author of A Lambda-Calculus Foundation for Universal Probabilistic Programming within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2016-profile
View general profile
View general profile