Concept: Logic, programming, and type systems
Cerebra: Aligning Implicit Knowledge in Interactive SQL Authoring
Interactive tool aligns user expectations with AI-generated SQL queries
A type-theoretic account of abstraction functions and cost verification
Using types to verify that software implementations match their abstract specifications
Image Credit: Image source: Stock provider
