wu-2026-type:
  type: misc
  title: Type-Directed Discretization of Probabilistic Programs (Extended Version)
  author:
  - Wu, Katherine
  - Jacobs, Jules
  - Batz, Kevin
  - Silva, Alexandra
  date: 2026-08
  serial-number:
    doi: 10.1145/3839534