On continuation-passing transformations and expected cost analysis.

Martin Avanzini Gilles Barthe Ugo Dal Lago

Published in: Proc. ACM Program. Lang. (2021)

Keyphrases

expected cost
cost function
mathematical model
artificial intelligence
decision trees
active learning
dynamic programming