Login / Signup

Raising expectations: automating expected cost analysis with types.

Di WangDavid M. KahnJan Hoffmann
Published in: Proc. ACM Program. Lang. (2020)
Keyphrases
  • expected cost
  • long run
  • cost function
  • machine learning
  • bayesian networks
  • special case