Younesse Kaddar

Affine Monads and Lazy Structures for Bayesian Programming

2022 · arXiv (Cornell University)

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 processes, Dirichlet processes, and Beta processes. The crucial semantic idea, …