Contact DMCA Privacy

Robuta

https://arxiv.org/abs/2601.12943
[2601.12943] Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order...
Abstract page for arXiv paper 2601.12943: Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs
dependently typedaaranonaffineapproach