Chris Heunen - POPL 2018

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

Registered user since Wed 8 Nov 2023

Name:Chris Heunen

Affiliation:University of Edinburgh

Personal website: http://homepages.inf.ed.ac.uk/cheunen/

Contributions

2018

POPL

Denotational validation of higher-order Bayesian inference

LAFI

The semantic structure of quasi-Borel spaces: algebra, logic, and recursion

Show activities from other conferences

POPL 2018-profile
View general profile

	
		OSZAR »