@misc{indiciae561f29864ccc,
  title = {Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs},
  author = {Han Xu and Di Wang},
  year = {2026},
  url = {https://arxiv.org/abs/2601.12943},
  note = {Source identifier: 2601.12943}
}