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