Tracking Linear and Affine Resources with Java(X)
No abstract available.
Related papers
- On Recursion in Graded Modal Type Theory ICFP 2026
- Kindly bent to free us ICFP 2020
- Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime POPL 2025
- Syntactic soundness proof of a type-and-capability system with hidden state JFP 2013
- Linear Effects, Exceptions, and Resource Safety - A Curry-Howard Correspondence for Destructors ESOP 2026
- Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs ESOP 2026
- Energy-Aware Tile Size Selection for Affine Programs on GPUs CGO 2024
- When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking OOPSLA 2026