Semantics of the Memo Probabilistic Programming Language

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.