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 searchtype assignmenttype classtyped lambda-calculus

Try this search on Wikipedia, OneLook, Google


Loading