Concept: Data type

FLAT: Formal Languages as Types
Using formal languages as type constraints to prevent string-based security vulnerabilities
March 30, 2026
Image Credit: Photo by RobertGourley on Pixabay (Source • License)
Abstraction Functions as Types: Modular Verification of Cost and Behavior in Dependent Type Theory
Using types to verify that software implementations match their abstract specifications
March 10, 2026
Image Credit: Photo by Vitaly Gariev on Unsplash (Source • License)