140 citations · 735 across the 46 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2016★ 17 cited
Design and Implementation of Probabilistic Programming Language Anglican
David Tolpin, Jan Willem van de Meent, Hongseok Yang +1
Anglican is a probabilistic programming system designed to interoperate with Clojure and other JVM languages. We introduce the programming language Anglican, outline our design cho…
cs.PL2016★ 113 cited
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
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…