| 1. | a search or pursuit made in order to find or obtain something: a quest for uranium mines; a quest for knowledge. |
| 2. | Medieval Romance. an adventurous expedition undertaken by a knight or knights to secure or achieve something: the quest of the Holy Grail. |
| 3. | those engaged in such an expedition. |
| 4. | British Dialect. inquest. |
| 5. | Obsolete. a jury of inquest. |
| 6. | to search; seek (often fol. by for or after): to quest after hidden treasure. |
| 7. | to go on a quest. |
| 8. | Hunting. (of a dog)
|
| 9. | to search or seek for; pursue. |

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
Implemented in Modula-3.
(ftp://gatekeeper.dec.com/pub/DEC/Quest/quest12A.tar.Z).
3.
(1995-04-02)