
Registered user since Thu 9 Jul 2015
Name: Chung-chieh Shan
Affiliation: Indiana University, USA
Personal website: http://homes.soic.indiana.edu/ccshan/
Contributions
PPS 2018 | More support for symbolic disintegration | ||||||||||||||||||||||||||||||||||||||||
POPL 2018 | Equational reasoning for probabilistic programming. | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2018-profile
View general profile
View general profile