TY  - RPRT
TI  - Same Coeffect, Different Base: Connecting Two Dominant Approaches to Graded Types
AU  - Vilem Liepelt
AU  - Danielle Marshall
AU  - Dominic Orchard
PY  - 2026
DO  - 10.1145/3828697
UR  - https://arxiv.org/abs/2606.28042
ID  - 2606.28042
ER  -