activity
20202026
most citedDensities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere

12 citations · 16 across the 8 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2022

Affine Monads and Lazy Structures for Bayesian Programming

Swaraj Dash, Younesse Kaddar, Hugo Paquet +1

We show that streams and lazy data structures are a natural idiom for programming with infinite-dimensional Bayesian methods such as Poisson processes, Gaussian processes, jump pro…