28 citations · 29 across the 4 of their papers we have counts for
1 paper · 1 filter
Wenjia Ye, Matías Toro, Federico Olmedo
Probabilistic programming languages extend ordinary programming languages with the ability to sample values from probability distributions. Type systems can establish invariants of…