Xu, H., & Wang, D. (2026). Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs.
Citazione stile Chigago Style (17a edizione)Xu, Han, e Di Wang. Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs. 2026.
Citatione MLA (9a ed.)Xu, Han, e Di Wang. Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs. 2026.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.