Registered user since Mon 8 May 2017
Name:Sam Staton
Country:United Kingdom
Affiliation:University of Oxford
Personal website: http://www.cs.ox.ac.uk/people/samuel.staton/main.html
Contributions
2027
POPL
- From structural causal models to higher order causal probabilistic programming: Contextual equivalences, Graded Monads and Functor Categories.
- Coinduction for stochastic processes in higher-order lazy probabilistic programming: Semantics via the Ionescu--Tulcea extension theorem in $\boldsymbol{\omega}\textbf{Qbs}$
- Cambria: Resource Abstraction for Parametrized Algebraic Effects and Handlers
Using general profile