Login / Signup
Raising Expectations: Automating Expected Cost Analysis with Types.
Di Wang
David M. Kahn
Jan Hoffmann
Published in:
CoRR (2020)
Keyphrases
</>
expected cost
cost function
data sets
experimental data
long run