Chung-chieh Shan - POPL 2018

Sun 7 - Sat 13 January 2018 Los Angeles, California, United States

Registered user since Thu 9 Jul 2015

Name:Chung-chieh Shan

Affiliation:Indiana University, USA

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

Contributions

2018

POPL

Equational reasoning for probabilistic programming.

LAFI

More support for symbolic disintegration

Show activities from other conferences

POPL 2018-profile
View general profile

	
		OSZAR »