6 citations · 11 across the 2 of their papers we have counts for
2 papers
cs.PL2024★ 6 cited
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…
cs.SE2024★ 5 cited
A New Generation of Intelligent Development Environments
Mark Marron
The practice of programming is undergoing a revolution with the introduction of AI assisted development (copilots) and the creation of new programming languages that are designed e…