Sean Moss -

Registered user since Thu 2 Feb 2023

Name:Sean Moss

Affiliation:University of Oxford

Contributions

ICFP 2023	Committee Member in Program Committee within the ICFP Research Papers-track
LAFI 2023	Author of Denotational semantics of languages for inference: semirings, monads, and tensors within the LAFI 2023-track
HOPE 2022	Committee Member in Program Committee within the HOPE 2022-track
POPL 2018	Author of Denotational validation of higher-order Bayesian inference within the Research Papers-track
PPS 2018	Author of The semantic structure of quasi-Borel spaces: algebra, logic, and recursion within the PPS 2018-track
HOPE 2016	Author of Functional models of full ground, and general, reference cells within the HOPE-track