@article{ABDL:ICFP:21,
 author    = {Martin Avanzini and
                  Gilles Barthe and
                  Ugo Dal Lago},
 title     = {On continuation-passing transformations and expected cost analysis},
 year      = {2021},
 journal   = {Proc. {ACM} Program. Lang.},
 volume    = {5},
 pages     = {1--30},
 number    = {{ICFP}},
 doi       = {10.1145/3473592},
 keywords  = {article}
}