Dominic Orchard, Vilem-Benjamin Liepelt, Harley Eades III. Quantitative program reasoning with graded modal types. Proceedings of the ACM on Programming Languages, 3(ICFP), 2019. [doi]
@article{OrchardLE19, title = {Quantitative program reasoning with graded modal types}, author = {Dominic Orchard and Vilem-Benjamin Liepelt and Harley Eades III}, year = {2019}, doi = {10.1145/3341714}, url = {https://doi.org/10.1145/3341714}, researchr = {https://researchr.org/publication/OrchardLE19}, cites = {0}, citedby = {0}, journal = {Proceedings of the ACM on Programming Languages}, volume = {3}, number = {ICFP}, }