Sam Staton - POPL 2018

Registered user since Mon 8 May 2017

Name: Sam Staton

Affiliation: University of Oxford

Personal website: http://www.cs.ox.ac.uk/people/samuel.staton/main.html

Contributions

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