Registered user since Thu 9 Jul 2015

Name: Chung-chieh Shan

Affiliation: Indiana University, USA

Personal website: http://homes.soic.indiana.edu/ccshan/

POPL 2018 Activities

• Author of More support for symbolic disintegration within the PPS 2018-track in PPS 2018
• Author of Equational reasoning for probabilistic programming. within the TutorialFest-track in POPL 2018
• Show activities from other conferences