Registered user since Mon 8 May 2017

Name: Sam Staton

Affiliation: University of Oxford

Personal website:


POPL 2022 Committee Member in Program Committee within the POPL-track
LAFI 2021 Author of An algebraic theory of conditioning within the LAFI 2021-track
POPL 2021 Author of Probabilistic Programming Semantics for Name Generation within the POPL-track
LAFI 2020 Author of Name generation and Higher-order Probabilistic Programming (Or is new=rnd?) within the LAFI (né PPS)-track
Author of A Monad for Point Processes within the LAFI (né PPS)-track
FOSSACS 2019 Author of A Sound and Complete Logic for Algebraic Effects within the FOSSACS 2019-track
POPL 2019 Author of A Domain Theory for Statistical Probabilistic Programming within the Research Papers-track
HOPE 2018 Author of A domain theory for statistical probabilistic programming within the HOPE 2018-track
ICFP 2019 Committee Member in Program Committee 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
FSCD 2017 Conference Chair of Welcome message within the FSCD 2017-track
PLMW 2017 Author of Panel Discussion: Careers in Programming Languages within the PLMW 2017-track
POPL 2018 Author of Denotational validation of higher-order Bayesian inference within the Research Papers-track
PPS 2017 Author of Exchangeable random process and data abstraction within the PPS-track
Session Chair of Session 3 (part of PPS)
POPL 2017 Committee Member in Program Committee within the POPL-track
PPS 2016 Author of Semantics of Higher-order Probabilistic Programs within the PPS 2016-track