POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom

The last few years have seen several breakthroughs in the semantic foundations of probabilistic and statistical modelling. In this tutorial, we will use types to introduce, use, and organise abstractions for probabilistic modelling.

We will do so first for discrete probability, and then more generally with the recently-developed quasi-Borel spaces. The tutorial is accompanied by exercises for self-study, allowing you to develop a working knowledge and hands-on experience after it.