Martin Avanzini et al.: On continuation-passing transformations and expected cost analysis. (2021)journals/pacmpl/AvanziniBL2110.1145/3473592On continuation-passing transformations and expected cost analysis.3Martin Avanzini1Gilles Barthe2Ugo Dal Lago31-30Proc. ACM Program. Lang.Proc. ACM Program. Lang.5ICFP2021provenance information for RDF data of dblp record 'journals/pacmpl/AvanziniBL21'2022-01-08T02:21:40+0100