The Stack Overflow podcast is back! Listen to an interview with our new CEO.

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

history | excerpt history