Source : Free On-Line Dictionary of Computing

type assignment
     
         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)