@misc{indiciae6e8a21222d33,
  title = {Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs},
  author = {Alejandro Aguirre and Philipp G. Haselwarter and Markus de Medeiros and Kwing Hei Li and Simon Oddershede Gregersen and Joseph Tassarotti and Lars Birkedal},
  year = {2024},
  doi = {10.1145/3674635},
  url = {https://arxiv.org/abs/2404.14223},
  note = {Source identifier: 2404.14223}
}