Science
Technology
Environment
Arts & Education
Business
Health
Society
Search
ENCODE
FLAT uses formal languages to type strings
FLAT uses context-free grammars as type definitions to distinguish semantically different string encodings, enabling type-safe handling of URLs, file paths, and other structured data.