Web Guide: Encyclopedia

<<Up     Contents

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

See also type theory.

Elsewhere

Search engine
Web directory