unified type system

from Wiktionary, Creative Commons Attribution/Share-Alike License.

• noun computing A concept for computer language types where a primitive type can support methods and encapsulation, but only reference types support virtual methods and specialization.