Concept: Type theory

FLAT: Formal Languages as Types

Using formal languages as type constraints to prevent string-based security vulnerabilities