9 citations · 25 across the 11 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2026
The LLMbda Calculus: AI Agents, Conversations, and Information Flow
Zac Garby, Andrew D. Gordon, David Sands
Large language models are increasingly deployed as agents: they plan, call tools, read untrusted data, and act on the results. This exposes them to prompt injection: data meant onl…
cs.PL2022★ 1 cited
Reconciling Shannon and Scott with a Lattice of Computable Information
Sebastian Hunt, David Sands, Sandro Stucki
This paper proposes a reconciliation of two different theories of information. The first, originally proposed in a lesser-known work by Claude Shannon, describes how the informatio…
cs.PL2015
Featherweight PINQ
Hamid Ebadi, David Sands
Differentially private mechanisms enjoy a variety of composition properties. Leveraging these, McSherry introduced PINQ (SIGMOD 2009), a system empowering non-experts to construct…