Abstract types in probabilistic programming
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.