@misc{indiciaee27ede24bee4,
  title = {ETAS: An Effect-Typed Language for Agent Systems},
  author = {Huiri Tan and Yikun Wang and Puyang Zhang and Shangyu Li and Jiasi Shen},
  year = {2026},
  url = {https://arxiv.org/abs/2607.17780},
  note = {Source identifier: 2607.17780}
}