@article{ABDL:ICFP:21,
 author    = "M. Avanzini and G. Barthe U. {Dal Lago}",
 title     = {{On Continuation-passing Transformations and Expected Cost Analysis}},
 journal   = {{Proceedings of the ACM on Programming Languages}},
 volume    = "5",
 year      = 2021,
 publisher = "Association for Computing Machinery",
}