TY  - RPRT
TI  - Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs
AU  - Han Xu
AU  - Di Wang
PY  - 2026
UR  - https://arxiv.org/abs/2601.12943
ID  - 2601.12943
ER  -