Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sean Moss
conf.researchr.org general profile
ICFP 2016 profile
ICFP 2022 profile
ICFP 2023 profile
POPL 2018 profile
POPL 2023 profile
POPL 2024 profile
Registered user since Thu 2 Feb 2023
Name:
Sean Moss
Affiliation:
University of Oxford
Contributions
2024
POPL
Author of Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets within the POPL-track
2023
ICFP
Committee Member in Program Committee within the ICFP Papers and Events-track
LAFI
Author of Denotational semantics of languages for inference: semirings, monads, and tensors within the LAFI 2023-track
2022
HOPE
Committee Member in Program Committee within the HOPE 2022-track
2018
POPL
Author of Denotational validation of higher-order Bayesian inference within the Research Papers-track
LAFI
Author of The semantic structure of quasi-Borel spaces: algebra, logic, and recursion within the PPS 2018-track
2016
HOPE
Author of Functional models of full ground, and general, reference cells within the HOPE-track
Share
x
Sun 22 Dec 12:18