activity
20152023
most citedCompositional semantics for new paradigms: probabilistic, hybrid and beyond

5 citations · 9 across the 9 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2023

Deterministic stream-sampling for probabilistic programming: semantics and verification

Fredrik Dahlqvist, Alexandra Silva, William Smith

Probabilistic programming languages rely fundamentally on some notion of sampling, and this is doubly true for probabilistic programming languages which perform Bayesian inference…