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