Login / Signup
Trace types and denotational semantics for sound programmable inference in probabilistic languages.
Alexander K. Lew
Marco F. Cusumano-Towner
Benjamin Sherman
Michael Carbin
Vikash K. Mansinghka
Published in:
Proc. ACM Program. Lang. (2020)
Keyphrases
</>
denotational semantics
bayesian networks
probabilistic model
programming language
inference process
grammatical inference
probabilistic reasoning
probabilistic networks
general purpose
belief networks
expressive power
probabilistic inference
knowledge representation languages
xml documents