Encyclopedia > Type system

Article Content

Type system

A type system is a discipline of programming languages which deals with classifying values in a program into disjoint or non-disjoint sets.

Featured Article

Brazil

... vote for four-year terms. The president has extensive executive powers and is both head of state and head of government and he also appoints the cabinet. The Brazilian ...