39 citations · 99 across the 21 of their papers we have counts for
1 paper · 2 filters
Raven Beutner, Luke Ong
We study termination of higher-order probabilistic functional programs with recursion, stochastic conditioning and sampling from continuous distributions. Reasoning about the termi…