Quantitative program reasoning with graded modal types. - Dominic Orchard; Vilem-Benjamin Liepelt; Harley Eades III (Proc. ACM Program. Lang., 2019)