@article{haselwarter-2024-tachis, title={Tachis: Higher-Order Separation Logic with Credits for Expected Costs}, volume={8}, ISSN={2475-1421}, url={http://dx.doi.org/10.1145/3689753}, DOI={10.1145/3689753}, number={OOPSLA2}, journal={Proceedings of the ACM on Programming Languages}, publisher={Association for Computing Machinery (ACM)}, author={Haselwarter, Philipp G. and Li, Kwing Hei and de Medeiros, Markus and Gregersen, Simon Oddershede and Aguirre, Alejandro and Tassarotti, Joseph and Birkedal, Lars}, year={2024}, month=Oct, pages={1189–1218} }