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

Published: 23 Oct 2021, Last Modified: 05 May 2023AIPLANSReaders: 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