Skip to main content
Share Your Experience: Take the 2024 Developer Survey

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