Papers Reset Regularized Programming with the Bosque Language SafeStrings Representing Strings as Structured Data Comprehensive Reachability Refutation and Witnesses Generation via Language and Tooling Co-Design High Assurance Software for Financial Regulation and Business Platforms BsqON - Tech Report Toward Programming Languages for Reasoning – Humans, Symbolic Systems, and AI Agents
