Wiktionary
static typing
n. (context computing programming English) A system in which type checking is performed during compilation and not at run time, opposed to dynamic typing.