plural of type inference

(software) The automatic deduction of the type of an expression in a programming language.

(software) A compile-time process by which explicit data type annotations are removed from a program, before run-time execution.

A system of printing and typography that uses movable components such as individual letters or punctuation to reproduce the elements of a document.

plural of type face

plural of type introspection

(object-oriented programming) The ability of a program to examine at run time the type or properties of an object.

A basic, primitive, or original type; prototype.

plural of type erasure

(programming) A data type that represents a value directly, rather than a pointer or reference to something else. / (programming) A data type having deep-copy semantics.