Definition, synonyms and related words
A type system where some variables are statically-typed and some are dynamically-typed.