type systems of programming languages
Type systems specify properties of program fragments such as values, expressions and variables. Use this tag for questions about the type systems of programming languages and theoretical frameworks intended to apply to programming languages.
Related tags
- type-theory for types in logic, whether applicable to programming languages or not
- Implementations of type verification: type-checking, type-inference
