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.
Last updated: 2002年02月22日
Nearby terms:
type-ahead search ♦ type assignment ♦ type class ♦ typed lambda-calculus
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading