Garg, Deepak Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society;
Qu, W., Gaboardi, M., & Garg, D. (2019). Relational Cost Analysis for Functional-Imperative Programs. Proceedings of the ACM on Programming Languages, 3, ICFP: 92. doi:10.1145/3341696.