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…