Type-Directed Discretization of Probabilistic Programs (Extended Version)

Katherine Wu, Jules Jacobs, Kevin Batz +1

We study exact discretization as a semantics-preserving transformation for recursive, higher-order probabilistic programs with continuous distributions. We target programs where co…