Alejandro Aguirre 0001, Philipp G. Haselwarter, Markus De Medeiros, Kwing Hei Li, Simon Oddershede Gregersen, Joseph Tassarotti, Lars Birkedal. Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs. Proceedings of the ACM on Programming Languages, 8(ICFP):284-316, 2024. [doi]
@article{0001HMLGTB24, title = {Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs}, author = {Alejandro Aguirre 0001 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://doi.org/10.1145/3674635}, researchr = {https://researchr.org/publication/0001HMLGTB24}, cites = {0}, citedby = {0}, journal = {Proceedings of the ACM on Programming Languages}, volume = {8}, number = {ICFP}, pages = {284-316}, }