Quest
Ahab, Captainpursues Moby Dick, the great white whale, even to the point of losing his own life. [Am. Lit.: Melville Moby Dick]
ArgoJason’s galley, on which the Argonauts sailed in search of the Golden Fleece. [Gk. Myth.: Benét, 47]
Dorothyyoung girl, lost in dream world, follows the Yellow Brick Road to find the Wizard of Oz. [Am. Lit.: The Wonderful Wizard of Oz]
El Doradomythical land of gold treasures, object of Spanish expeditions. [Am. Hist.: Jameson, 159]
Golden Fleecepelt of winged ram sought by Jason and Argonauts. [Rom. Legend: Zimmerman, 113]
grailits pursuit is central theme of some Arthurian romances. [Br. Lit.: Le Morte d’Arthur]
Hippolyta,girdle of secured after fight with Amazon queen; Hercules’ ninth Labor. [Gk. and Rom. Myth.: Hall, 149]
Knights of the Round Tableset out to find the Holy Grail. [Br. Lit.: Le Morte d’Arthur]
Pequodship in which Captain Ahab pursued the great white whale. [Am. Lit.: Melville Moby Dick]
Ponce de León, Juan(c. 1460–1521) Spanish explorer; sought the fountain of youth. [Span. Hist.: NCE, 2188]
Santiagoold fisherman in search of marlin. [Am. Lit.: The Old Man and the Sea]
Siege Perilousa seat at King Arthur’s Round Table for the knight destined to find the Holy Grail; it was fatal to any other occupant. [Br. Lit.: Morte d’Arthur; Benét, 929]
Sohrabyoung warrior looks everywhere for the father he has never known. [Br. Poetry: Arnold “Sohrab and Rustum”]
Telemachusrelentlessly searches for father, Odysseus. [Gk. Lit.: Odyssey]
Allusions—Cultural, Literary, Biblical, and Historical: A Thematic Dictionary. Copyright 2008 The Gale Group, Inc. All rights reserved.
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).
Quest
(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 <luca@src.dec.com>, RR
45, DEC SRC 1989.
Implemented in Modula-3.
ftp://gatekeeper.dec.com/pub/DEC/Quest/quest12A.tar.Z.
Quest
(tool, text)This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)