# 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 |