Sean K. Moss -

Not registered as user yet

Name:Sean K. Moss

Affiliation:University of Cambridge

Contributions

HOPE 2022	Committee Member in Program Committee within the HOPE 2022-track
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
HOPE 2016	Author of Functional models of full ground, and general, reference cells within the HOPE-track