Higher-order probabilistic programming languages allow programmers to write
sophisticated models in machine learning and statistics in a succinct and structured way, but …

We show that a measure-based denotational semantics for probabilistic programming is
commutative. The idea underlying probabilistic programming languages (Anglican, Church …

This chapter is a tutorial about some of the key issues in semantics of the first-order aspects
of probabilistic programming languages for statistical modelling–languages such as Church …