Compositional Expected Cost Analysis of Functional Probabilistic Programs.

Pedro H. Azevedo de Amorim
Published in: CoRR (2024)