Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
A presentation from the LAFI workshop explores the formalization of memo, a new domain-specific probabilistic programming language designed for reasoning about reasoning. Presented by Kartik Chandra, Nada Amin, and Yizhou Zhang from MIT, Harvard University, and University of Waterloo, this 17-minute talk delves into the type system and denotational semantics of the memo language. Learn about this innovative programming language that enables meta-reasoning capabilities within probabilistic programming contexts. The presentation was delivered at the LAFI workshop on January 19, 2025, as part of the event sponsored by ACM SIGPLAN.
