pith. sign in

In: PLDI’19 , ACM, Phoenix AZ USA, pp

Tristan Knoth, Di Wang, Nadia Polikarpova, Jan Hoffmann · 2019 · DOI 10.1145/3314221

2 Pith papers cite this work. Polarity classification is still indexing.

2 Pith papers citing it
open at publisher browse 2 citing papers

fields

cs.PL 2

years

2026 2

verdicts

UNVERDICTED 2

representative citing papers

Language-Based Agent Control

cs.PL · 2026-05-13 · unverdicted · novelty 6.0

LBAC is a new programming model that enforces user-specified policies on agentic applications by requiring agent-generated programs to be well-typed in the context of the scaffolding code.

Branching Out: Existential External Choice in Effpi

cs.PL · 2026-04-08 · unverdicted · novelty 6.0

Effpi gains branching for existential external choice across channels plus timeout handling to support more expressive typed message-passing protocols such as Raft.

citing papers explorer

Showing 2 of 2 citing papers.

  • Language-Based Agent Control cs.PL · 2026-05-13 · unverdicted · none · ref 10

    LBAC is a new programming model that enforces user-specified policies on agentic applications by requiring agent-generated programs to be well-typed in the context of the scaffolding code.

  • Branching Out: Existential External Choice in Effpi cs.PL · 2026-04-08 · unverdicted · none · ref 22

    Effpi gains branching for existential external choice across channels plus timeout handling to support more expressive typed message-passing protocols such as Raft.