113 citations · 510 across the 24 of their papers we have counts for
1 paper · 1 filter
Sam Staton, Hongseok Yang, Chris Heunen +2
We study the semantic foundation of expressive probabilistic programming languages, that support higher-order functions, continuous distributions, and soft constraints (such as Ang…