inference typing

Also known as type inference type, type inference type system, type inference typing system, type inference, inferred typing, type-inferred, type reconstruction

automatic detection of the data type of an expression in a programming language