Skip to content

Getting started Examples Papers

Try in your browser

Navigation

Home Getting started Examples Papers Try in your browser

Examples

Minimal examples with LazyPPL Linear and piecewise linear regression with LazyPPL Clustering with a lazy Dirichlet process Wiener process regression in LazyPPL Gaussian process regression in LazyPPL Program induction in LazyPPL Probabilistic programming with graphs, and graph inference Relational inference with a CRP-based infinite relational model Feature finding using an Indian Buffet Process Discussion of program transformations and laziness Inference over a 2D physics model

API reference GitHub

Try in your browser GitHub Home Try in your browser Full editor Simple example Getting started

Minimal examples with LazyPPL Linear and piecewise linear regression with LazyPPL Clustering with a lazy Dirichlet process Wiener process regression in LazyPPL Gaussian process regression in LazyPPL Program induction in LazyPPL Probabilistic programming with graphs, and graph inference Relational inference with a CRP-based infinite relational model Feature finding using an Indian Buffet Process Discussion of program transformations and laziness Inference over a 2D physics model

Papers API reference

Home
Papers

Papers

ICFP 2026

LazyHMC: Hamiltonian Monte Carlo Simulation for Lazy, Infinite Dimensional Probabilistic Programs

Maria-Nicoleta Crăciun, C.-H. Luke Ong, Tom Schrijvers, Sam Staton

arXiv Publication Source code

LAFI 2025 (talk)

Data-oriented Design for Differentiable, Probabilistic Programming

Owen Lynch, Maria-Nicoleta Crăciun, Younesse Kaddar, Sam Staton

Talk and abstract

POPL 2024

Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets

Nathanael L. Ackerman, Cameron E. Freer, Younesse Kaddar, Jacek Karwowski, Sean K. Moss, Daniel M. Roy, Sam Staton, Hongseok Yang

arXiv Publication

POPL 2023

Affine Monads and Lazy Structures for Bayesian Programming

Swaraj Dash, Younesse Kaddar, Hugo Paquet, Sam Staton

arXiv Publication

MFPS 2023

A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories

Younesse Kaddar, Sam Staton

arXiv Publication

University of Oxford DPhil thesis, 2023

A Monadic Theory of Point Processes

Swaraj Dash

Thesis and repository record

ACT 2022

Statistical programming with categorical measure theory and LazyPPL

Swaraj Dash, Younesse Kaddar, Hugo Paquet, Sam Staton

Slides (PDF) Slides

HOPE 2022 (extended abstract and talk)

Higher order programming with probabilistic effects: A model of stochastic memoization and name generation

Younesse Kaddar, Sam Staton

Extended abstract (PDF) Talk

AIPLANS 2021 (NeurIPS workshop)

LazyPPL: laziness and types in non-parametric probabilistic programs

Hugo Paquet, Sam Staton

Workshop paper listing

FSCD 2021

Some Formal Structures in Probability (Invited Talk)

Sam Staton

Published abstract Slides (PDF)

API reference on Hackage

Inference over a 2D physics model

Previous Page

LazyPPLHaskell library for Bayesian probabilistic programming

Learn

Simple example
Getting started
Try in your browser
Full editor

Examples

All examples
Minimal examples
Linear regression

Research

Papers
Two-Monad Architecture

Code

GitHub
API reference