@inproceedings{AGDL:LICS:19,
 author    = "M. Avanzini and A. Ghyselen and U. {Dal Lago}",
 title     = {{Type-Based Complexity Analysis of Probabilistic Functional Programs}},
 booktitle = "Proceedings of the 34th Logics in Computer Science Symposium",
 year      = 2019,
 pages     = "1--13",
 publisher = "IEEE",
}