Daniel Selsam - POPL 2018

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

Registered user since Wed 3 Jan 2018

Name:Daniel Selsam

Country:United States

Affiliation:Stanford University

Personal website: http://stanford.edu/~dselsam/

Contributions

2018

LAFI

Formal Methods For Probabilistic Programming

Show activities from other conferences

POPL 2018-profile
View general profile

	
		OSZAR »