Source record

Published by arXiv cs.MA (T1 source). The original is at https://arxiv.org/abs/2607.17780.

Pipeline notes

The summary and note below are generated by the signal pipeline — they are Beyond Desk’s reading, not quotations from the source.

ETAS is a typed programming language for agent systems that treats agents, tool calls, prompts, typed memory, human approvals, policies, and execution traces as first-class semantic elements. It separates deterministic computation from agentic nondeterminism, using effect typing and a compile-time spec calculus, with a Rust implementation and formal soundness proofs.

Proposes a formal type-and-effect foundation for agents, letting authorization, nondeterminism, and audit be checked statically rather than only at runtime.

Cited by

No citations on record.