A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs

Vineet Rajani, Gilles Barthe, Deepak Garg
January 2024
Cite DOI URL
Type
Journal article
Publication
Proc. ACM Program. Lang.