TYPE ASSIGNMENT


Meaning of TYPE ASSIGNMENT in English

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

(2002-02-22)

FOLDOC computer English dictionary.      Английский словарь по компьютерам FOLDOC.