@conference{AGDL:LICS:19,
 author    = {Martin Avanzini and
                  Ugo Dal Lago and
                  Alexis Ghyselen},
 title     = {Type-Based Complexity Analysis of Probabilistic Functional Programs},
 year      = {2019},
 booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
                  2019, Vancouver, BC, Canada, June 24-27, 2019},
 pages     = {1--13},
 publisher = {{IEEE}},
 doi       = {10.1109/LICS.2019.8785725},
 keywords  = {conference}
}