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]:
Quest
1. A language designed for its simple denotational semantics.
"The Denotational Semantics of Programming Languages",
R. Tennent, CACM 19(8):437-453 (Aug 1976).
2. QUantifiers and SubTypes. Language with a sophisticated
type system. Just as types classify values, "kinds" classify
types and type operators. Explicit universal and existential
quantification over types, type operators, and subtypes.
Subtyping is defined inductively on all type constructions,
including higher-order functions and abstract types.
User-definable higher-order type operators.
"Typeful Programming", Luca Cardelli