Definition, synonyms and related words
A system in which type checking is performed during compilation and not at run time, opposed to dynamic typing.