Pages that link to "Item:Q5134467"
From MaRDI portal
The following pages link to Foundations of Probabilistic Programming (Q5134467):
Displaying 12 items.
- Probabilistic-statistical programs from ``Applied Statistics'' (Q918058) (← links)
- Linking theories in probabilistic programming (Q1961866) (← links)
- Bayesian programming (Q2868900) (← links)
- A lambda-calculus foundation for universal probabilistic programming (Q2981999) (← links)
- (Q3347262) (← links)
- Understanding Probabilistic Programs (Q3449623) (← links)
- Probabilistic Programming: A True Verification Challenge (Q3460539) (← links)
- The EfProb Library for Probabilistic Calculations (Q4580221) (← links)
- Program equivalence in a typed probabilistic call-by-need functional language (Q6052951) (← links)
- The probabilistic termination tool amber (Q6145021) (← links)
- Automated Expected Amortised Cost Analysis of Probabilistic Data Structures (Q6487331) (← links)
- Symbolic semantics for probabilistic programs (Q6546469) (← links)