@misc{wu-2026-type,
  author = {Katherine Wu and Jules Jacobs and Kevin Batz and Alexandra Silva},
  title = {Type-Directed Discretization of Probabilistic Programs (Extended Version)},
  year = {2026},
  month = {8},
  doi = {10.1145/3839534}
}