Type-Based Cost Analysis for Lazy Functional Languages

Steffen Jost, Pedro Vasconcelos, Mário Florido, Kevin Hammond. Type-Based Cost Analysis for Lazy Functional Languages. Journal of Automated Reasoning, 59(1):87-120, 2017. [doi]

Abstract

Abstract is missing.