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