Conference item
On probabilistic termination of functional programs with continuous distributions
- Publication status:
- Published
- Peer review status:
- Reviewed (other)
Actions
Access Document
- Files:
-
-
(Preview, Accepted manuscript, 1.1MB, Terms of use)
-
- Publisher copy:
- 10.1145/3453483.3454111
Authors
- Publisher:
- Association for Computing Machinery
- Journal:
- Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation More from this journal
- Pages:
- 1312–1326
- Publication date:
- 2021-06-19
- Acceptance date:
- 2021-02-25
- Event title:
- ACM Conference on Programming Languages, Design and Implementation
- Event location:
- Virtual
- Event website:
- https://pldi21.sigplan.org/
- Event start date:
- 2021-06-20
- Event end date:
- 2021-06-25
- DOI:
- ISBN:
- 978-1-4503-8391-2
- Language:
-
English
- Keywords:
- Pubs id:
-
1166495
- Local pid:
-
pubs:1166495
- Deposit date:
-
2021-03-08
Terms of use
- Copyright holder:
- Beutner and Ong.
- Copyright date:
- 2021
- Rights statement:
- © 2021 Copyright held by the owner/author(s). Publication rights licensed to ACM.
- Notes:
- This paper will be presented at the 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2021), 20th-25th June 2021. This is the accepted manuscript version of the article. The final version is available from ACM Digital Library at: https://doi.org/10.1145/3453483.3454111
If you are the owner of this record, you can report an update to it here: Report update to this record