Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/corr/abs-2404-14223
%A Aguirre, Alejandro
%A Haselwarter, Philipp G.
%A de Medeiros, Markus
%A Li, Kwing Hei
%A Gregersen, Simon Oddershede
%A Tassarotti, Joseph
%A Birkedal, Lars
%D 2024
%J CoRR
%K dblp
%T Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs.
%U http://dblp.uni-trier.de/db/journals/corr/corr2404.html#abs-2404-14223
%V abs/2404.14223
@article{journals/corr/abs-2404-14223,
added-at = {2024-05-25T00:00:00.000+0200},
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},
biburl = {https://www.bibsonomy.org/bibtex/23e75fd544b80d906f3f9db29da66b16b/dblp},
ee = {https://doi.org/10.48550/arXiv.2404.14223},
interhash = {86b43433875d2333f0af62e04dc84d05},
intrahash = {3e75fd544b80d906f3f9db29da66b16b},
journal = {CoRR},
keywords = {dblp},
timestamp = {2024-05-27T07:04:36.000+0200},
title = {Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr2404.html#abs-2404-14223},
volume = {abs/2404.14223},
year = 2024
}