LazyPPL: laziness and types in non-parametric probabilistic programsDownload PDF

08 Oct 2021, 15:28 (modified: 02 Dec 2021, 09:21)AIPLANSReaders: Everyone
Abstract: We introduce LazyPPL, a prototype probabilistic programming library for Haskell. The library emphasises the clarifying power of types, and the connection between non-parametric, stochastic processes and lazy (call by need) evaluation. We illustrate the power of the language with natural specifications of infinite structures including Poisson point processes, Gaussian processes, and Dirichlet Process clustering.
1 Reply