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 |
