Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs

Han Xu, Di Wang

Static resource analysis determines the resource consumption (e.g., time complexity) of a program without executing it. Among the numerous existing approaches for resource analysis…