What is it about?
A call-by-evaluation strategy is combined with probabilistic choice in a functional programming language. Equivalence of programs and correctness of program transformations is investigated where contextual equivalence observing the expected termination of programs is used.
Featured Image
Photo by Henry & Co. on Unsplash
Why is it important?
The combination of call-by-need evaluation and probabilistic programming is new. We prove a new form of a context lemma and apply previously developed automated techniques for proving correctness of program transformation to the new setting.
Perspectives
Writing the article was great, since we could combine and apply so many techniques and results that were developed over several years.
David Sabel
Read the Original
This page is a summary of: Contextual Equivalence in a Probabilistic Call-by-Need Lambda-Calculus, September 2022, ACM (Association for Computing Machinery),
DOI: 10.1145/3551357.3551374.
You can read the full text:
Contributors
The following have contributed to this page
