13 citations · 25 across the 2 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…