(programming) A typing where the software programmer explicitly identifies the type of each declared variable.

plural of type erasure

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

plural of type inference

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

(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.

plural of type face

(typography, printing) Alternative form of typeface

plural of type introspection

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