1 paper · 1 filter
Radha Jagadeesan
We study the desiderata on a model for statistical probabilistic programming languages. We argue that they can be met by a combination of traditional tools, namely open bisimulatio…