Published August 3, 2026
| Version v3
Software
Open
Type-Directed Discretization of Probabilistic Programs
Authors/Creators
Description
This archive contains the artifact of the OOPSLA'26 paper "Type-Directed Discretization of Probabilistic Programs." To get started, see the README.md in the files.