Sun 16 Jan 2022 09:00 - 10:00 at LAFI - Keynote Chair(s): Cameron Freer, Ohad Kammar

Probabilistic programming lets us use techniques from traditional programming when building statistical models. In this talk I will focus on types and abstraction, including function types. We can ask what these programming concepts mean from the point of view of the foundations of statistics and probability. I will give some examples of this, from both practical and semantic perspectives.

Slides (2022lafi_SamStaton.pdf)9.2MiB

Sun 16 Jan

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:00
KeynoteLAFI at LAFI
Chair(s): Cameron Freer Massachusetts Institute of Technology, Ohad Kammar University of Edinburgh
Abstract types in probabilistic programmingRemote
Sam Staton University of Oxford
File Attached