TY  - RPRT
TI  - Staying Productive Under the Palm Trees: On Graded Coeffect Typing in the Tropical Semiring
AU  - Rémy Cerda
AU  - Ugo Dal Lago
PY  - 2026
UR  - https://arxiv.org/abs/2608.02596
ID  - 2608.02596
ER  -