English

Noun

type system ‎(plural type systems)

1. (computing) A way programming language classifies values and expressions into types, how it can manipulate those types and how they interact.

Derived terms

• nominative type system
• unified type system

Translations