Not registered as user yet

Name: Sean K. Moss

Affiliation: University of Cambridge

POPL 2018 Activities

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