FLAT: Formal Languages as Types

Fengmin Zhu, Andreas Zeller

Programmers regularly use strings to encode many types of data, such as Unix file paths, URLs, and email addresses, that are conceptually different. However, existing mainstream pr…