cs.PL · 2026-07-21 · No. 60

Programming Languages, 2026-07-21.

1 new papers in cs.PL. Titles, authors, abstracts. Links to arXiv. Want this in your inbox every morning? Subscribe →

01 — The papers

1 entries
  1. 01

    ETAS: An Effect-Typed Language for Agent Systems

    Huiri Tan, Yikun Wang, Puyang Zhang, Shangyu Li, Jiasi Shen

    cs.PL · cs.AI · cs.LG · cs.MA

    ETAS is a programming language for agent systems that treats model-backed agents, tool calls, prompts, typed memory, human approvals, policies, and execution traces as semantic program elements rather than library conventions. It separates deterministic computation from agentic nondeterminism and externally visible actions while preserving a direct programming style. We present the core design of ETAS. Its static semantics assigns ordinary...

    arxiv.org/abs/2607.17780 · PDF

This edition is part of The Daily Abstract — cs.PL archive. Subscribe to receive these in your inbox each morning, automatically translated to Spanish, with reply-to-PDF: arxivdaily.ignorelist.com.

Colophon Set in Georgia, with system sans for interface chrome and a monospaced stack for code and paper identifiers. Sole accent: amber #D99C5E. Built and served on an always-free VM. The masthead is set 14% letterspaced because newspapers do that and it works.