Looking for the meaning or definition of the word unified type system? Here's what it means.
Noun
(object-oriented programming) A concept for computer language types where a primitive type can support methods and encapsulation, but only reference types support virtual methods and specialization.