type inference

Noun

 * 1)  The automatic deduction of the type of an expression in a programming language.

Translations

 * German: Typinferenz