most citedOn Probabilistic Termination of Functional Programs with Continuous Distributions

12 citations · 12 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2021★ 12 cited

On Probabilistic Termination of Functional Programs with Continuous Distributions

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…