Dictionary

Words, grammatical forms and meanings linked to the ontology.

typechecking en · NOUN

Etymology

From type + checking.

Meanings

(uncountable) The process of verifying whether a given value belongs to a certain data type.

Relateds

type system · type theory · typechecker