
Registered user since Fri 17 Nov 2017
Name:Marco Cusumano-Towner
Affiliation:MIT-CSAIL
Contributions
PPS 2018 | Using probabilistic programs as proposals | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2018-profile
View general profile
View general profile