Qu, W., Gaboardi, M., & Garg, D. (2019). Relational Cost Analysis for Functional-Imperative Programs. Proceedings of the ACM on Programming Languages, 3, ICFP:. doi:10.1145/3341696.