183 citations · 387 across the 16 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2019
Approximations in Probabilistic Programs
Ekansh Sharma, Daniel M. Roy
We study the first-order probabilistic programming language introduced by Staton et al. (2016), but with an additional language construct, , that, like the fixpoint…
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…