TY  - RPRT
TI  - ETAS: An Effect-Typed Language for Agent Systems
AU  - Huiri Tan
AU  - Yikun Wang
AU  - Puyang Zhang
AU  - Shangyu Li
AU  - Jiasi Shen
PY  - 2026
UR  - https://arxiv.org/abs/2607.17780
ID  - 2607.17780
ER  -