(computing) belonging to a type system that checks the variable types at runtime.

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