POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
POPL 2018 (series) / Chris Heunen

Not registered as user yet

Name: Chris Heunen

Affiliation: University of Edinburgh

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

Contributions

PPS 2018Author of The semantic structure of quasi-Borel spaces: algebra, logic, and recursion within the PPS 2018-track
POPL 2018Author of Denotational validation of higher-order Bayesian inference within the Research Papers-track
Show activities from other conferences

POPL 2018-profile
View general profile