Email this page to a friend

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.

< Previous Terms	Terms Containing type assignment	Next Terms >
TYMNET Tymshare, Inc. type type-ahead type-ahead search	type inference	type class typed lambda-calculus TypedProlog typeface type inference