1. type-ahead search incremental search type assignment 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.
type-ahead search |
