Garg, Deepak Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society;
relational-cost-analysis-in-a-functional-imperative-setting.pdf (Publisher version), 4MB
Qu, W., Gaboardi, M., & Garg, D. (2021). Relational Cost Analysis in a Functional-imperative Setting. Journal of Functional Programming, 31: e27. doi:10.1017/S0956796821000071.