12 citations · 20 across the 7 of their papers we have counts for
1 paper · 1 filter
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…