On probabilistic termination of functional programs with continuous distributions (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2021)

(untitled) - Beutner, R; Ong, CL