@inproceedings{AMS:OOPSLA:20,
 author    = "M. Avanzini and G. Moser and M. Schaper",
 title     = {{A Modular Cost Analysis for Probabilistic Programs}},
 year      = 2020,
 pages     = "172:1--172:30",
}