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

Han Xu, Di Wang

Browse the full ESOP paper archive.