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)
Nearby terms:
type « type-ahead « type-ahead search « type
assignment
» type class » typed lambda-calculus » TypedProlog
|