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