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