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

Vineet Rajani, Gilles Barthe, Deepak Garg
Jan 1, 2024
DOI URL