A static cost analysis for a higher-order language
Journal or Book Title
PLPV '13 Proceedings of the 7th workshop on Programming languages meets program verification
Danner, Norman; Paykin, J.; and Royer, J. S., "A static cost analysis for a higher-order language" (2013). Faculty Scholarship. 39.