Cited in
(20)- A functional account of probabilistic programming with possible worlds. Declarative pearl
- 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)
- AQUA: automated quantized inference for probabilistic programs
- MEBN
- Infer.NET
- Church
- MathScheme
- Venture
- NetKAT
- Datafun
- ProbNetKAT
- PR-OWL
- Swift
- PFLP
- Anglican
- Amber
- Biform theories: project description
- Storm
This page was built for software: Hakaru
