Explore relationships

Type checking

A programming language consists of a system of allowed sequences of symbols (constructs) together with rules that define how each construct is interpreted.

Use + to expand a branch. Click a topic name to open its summary.