swMATH14670MaRDI QIDQ26567FDOQ26567
Author name not available (Why is that?)
Official website: http://arxiv.org/abs/1404.0099
Cited In (23)
- RankPL
- Declarative probabilistic programming with Datalog
- A Convenient Category for Higher-Order Probability Theory
- Quasi-Borel Spaces
- Commutative semantics for probabilistic programming
- Contextual equivalence for probabilistic programs with continuous random variables and scoring
- Probabilistic inference by program transformation in Hakaru (system description)
- Church
- smfsb
- Hakaru
- VIBES
- DeepDive
- Figaro
- Biips
- Lasagne
- DENDRAL
- DeCo
- Swift
- LogiQL
- Anglican
- RankPL: a qualitative probabilistic programming language
- The beta-Bernoulli process and algebraic effects
- Automatic differentiation variational inference
This page was built for software: Venture
