On probabilistic termination of functional programs with continuous distributions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Raven Beutner, Luke Ong. On probabilistic termination of functional programs with continuous distributions. In Stephen N. Freund, Eran Yahav, editors, PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 20211. pages 1312-1326, ACM, 2021. [doi]

This author has not been identified. Look up 'Raven Beutner' in GoogleThis author has not been identified. Look up 'Luke Ong' in Google

runs on WebDSL