unified type system noun1 •A concept for computer language types where a primitive type can support methods and encapsulation, but only reference types support virtual methods and specialization. formsunified type systems
