TY  - RPRT
TI  - On Probabilistic Termination of Functional Programs with Continuous Distributions
AU  - Raven Beutner
AU  - Luke Ong
PY  - 2021
DO  - 10.1145/3453483.3454111
UR  - https://arxiv.org/abs/2104.04990
ID  - 2104.04990
ER  -