A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions. - Stephen Mell; Botong Zhang; David Mell; Shuo Li; Ramya Ramalingam; Nathan Yu; Steve Zdancewic; Osbert Bastani (CoRR, 2025)