On probabilistic termination of functional programs with continuous distributions.

Raven Beutner Luke Ong

Published in: PLDI (2021)

Keyphrases

functional programs
term rewriting systems
logic programs
lazy evaluation
probability distribution
probabilistic model
stochastic grammar
bayesian networks
functional language
general purpose
database
random variables