@misc{indiciae5e717d497f7f,
  title = {Compiling Environment Classifiers to Contextual Modal Types},
  author = {Tianyu Chen and Darshal Shetty and Jeremy G. Siek and Chao-Hong Chen and Weixi Ma and Arnaud Venet and Rocky Liu},
  year = {2026},
  url = {https://arxiv.org/abs/2610.25741},
  note = {Source identifier: 2610.25741}
}