TY  - RPRT
TI  - Compiling Environment Classifiers to Contextual Modal Types
AU  - Tianyu Chen
AU  - Darshal Shetty
AU  - Jeremy G. Siek
AU  - Chao-Hong Chen
AU  - Weixi Ma
AU  - Arnaud Venet
AU  - Rocky Liu
PY  - 2026
UR  - https://arxiv.org/abs/2610.25741
ID  - 2610.25741
ER  -