TY  - RPRT
TI  - Raising Expectations: Automating Expected Cost Analysis with Types
AU  - Di Wang
AU  - David M Kahn
AU  - Jan Hoffmann
PY  - 2020
UR  - https://arxiv.org/abs/2006.14010
ID  - 2006.14010
ER  -