Author

Puyang Zhang

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Jul 2026

ETAS: An Effect-Typed Language for Agent Systems

This work formalizes a core calculus and state preservation, progress, type/effect soundness, handler trace-transparency, and policy safety, and implements ETAS in Rust with a command-line interface, typed HIR checks, effect and policy diagnostics, handler checks, and trace-aware execution hooks.

Huiri Tan, Yi-Kun Wang, Puyang Zhang et al. · arXiv.org · 0 citations