• Sign in
  • Sign up
conf.researchr.org / Sean Moss
  • ICFP 2016 profile
  • ICFP 2022 profile
  • ICFP 2023 profile
  • POPL 2018 profile
  • POPL 2023 profile

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

Share
xWed 31 May 13:08
using conf.researchr.org (v1.60.0)
Support page
Sign Up