unified type system

== English == === Noun === unified type system (plural unified type systems) (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. ==== Translations ====