@inproceedings{amorim_2025_oopsla,
 title = {Denotational Foundations for Expected Cost Analysis},
 author = {Amorim, Pedro H. Azevedo de},
 year = {2025},
 doi = {10.1145/3720424},
 url = {https://dl.acm.org/doi/10.1145/3720424},
 booktitle = {Proceedings of the ACM on Programming Languages, OOPSLA 2025},
 publisher = {ACM}
}