Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents

Mark Marron

Integration, composition, mechanization, and AI assisted development are the driving themes in the future of software development. At their core these concepts are rooted in the in…