1 citations · 1 across the 1 of their papers we have counts for
3 papers
cs.PL2021★ 1 cited
Compositional Semantics for Probabilistic Programs with Exact Conditioning
Dario Stein, Sam Staton
We define a probabilistic programming language for Gaussian random variables with a first-class exact conditioning construct. We give operational, denotational and equational seman…
cs.PL2020
Probabilistic Programming Semantics for Name Generation
Marcin Sabok, Sam Staton, Dario Stein +1
We make a formal analogy between random sampling and fresh name generation. We show that quasi-Borel spaces, a model for probabilistic programming, can soundly interpret Stark's $ν…
cs.PL2018
The Beta-Bernoulli process and algebraic effects
Sam Staton, Dario Stein, Hongseok Yang +3
In this paper we use the framework of algebraic effects from programming language theory to analyze the Beta-Bernoulli process, a standard building block in Bayesian models. Our an…