On probabilistic termination of functional programs with continuous distributions.

Raven Beutner, Luke Ong

Browse the full PLDI paper archive.