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]
Abstract is missing.