type assignment

from The Free On-line Dictionary of Computing (8 July 2008)

type assignment

   <theory> A mapping of the {free variables} of some expression
   E to types.  This is used in {type inference} to deduce the
   type of E and its subexpressions.

   (2002-02-22)