@article{aguirre-2024-error, title={Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs}, volume={8}, ISSN={2475-1421}, url={http://dx.doi.org/10.1145/3674635}, DOI={10.1145/3674635}, number={ICFP}, journal={Proceedings of the ACM on Programming Languages}, publisher={Association for Computing Machinery (ACM)}, author={Aguirre, Alejandro and Haselwarter, Philipp G. and de Medeiros, Markus and Li, Kwing Hei and Gregersen, Simon Oddershede and Tassarotti, Joseph and Birkedal, Lars}, year={2024}, month=Aug, pages={284–316} }