The following pages link to Hakaru (Q26566):
Displayed 6 items.
- Biform theories: project description (Q1798949) (← links)
- AQUA: automated quantized inference for probabilistic programs (Q2147199) (← links)
- A functional account of probabilistic programming with possible worlds. Declarative pearl (Q2163171) (← links)
- Probabilistic Inference by Program Transformation in Hakaru (System Description) (Q2798260) (← links)
- Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring (Q2988648) (← links)
- Commutative Semantics for Probabilistic Programming (Q2988671) (← links)