Noun
type inference (countable and uncountable, plural type inferences) (software) The automatic deduction of the type of an expression in a programming language.