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

Jordanes

... or Jordanis was a 6th century historian. He was an Ostrogoth and was a notary of Gothic kings in Italy. At the time of Justinian, he was a Christi ...