Skorzystaj z wyszukiwarki lub indeksu alfabetycznego.
Przykłady: pci, /dev/null, functional unit, embedded system, pseudo-tty, nfs.
1 definition found
From The Free On-line Dictionary of Computing (05 January 2017) [foldoc]:
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.
(2002-02-22)