0%

21-letter words containing le

  • generic type variable — (programming)   (Also known as a "schematic type variable"). Different occurrences of a generic type variable in a type expression may be instantiated to different types. Thus, in the expression let id x = x in (id True, id 1) id's type is (for all a: a -> a). The universal quantifier "for all a:" means that a is a generic type variable. For the two uses of id, a is instantiated to Bool and Int. Compare this with let id x = x in let f g = (g True, g 1) in f id This looks similar but f has no legal Hindley-Milner type. If we say f :: (a -> b) -> (b, b) this would permit g's type to be any instance of (a -> b) rather than requiring it to be at least as general as (a -> b). Furthermore, it constrains both instances of g to have the same result type whereas they do not. The type variables a and b in the above are implicitly quantified at the top level: f :: for all a: for all b: (a -> b) -> (b, b) so instantiating them (removing the quantifiers) can only be done once, at the top level. To correctly describe the type of f requires that they be locally quantified: f :: ((for all a: a) -> (for all b: b)) -> (c, d) which means that each time g is applied, a and b may be instantiated differently. f's actual argument must have a type at least as general as ((for all a: a) -> (for all b: b)), and may not be some less general instance of this type. Type variables c and d are still implicitly quantified at the top level and, now that g's result type is a generic type variable, any types chosen for c and d are guaranteed to be instances of it. This type for f does not express the fact that b only needs to be at least as general as the types c and d. For example, if c and d were both Bool then any function of type (for all a: a -> Bool) would be a suitable argument to f but it would not match the above type for f.
  • gentleman of the road — a highwayman.
  • gentleman's agreement — unwritten rule or agreement
  • gentleman's gentleman — a valet.
  • gentlemen's agreement — an agreement that, although unenforceable at law, is binding as a matter of personal honor.
  • give someone a leg up — to help someone to climb an obstacle by pushing upwards
  • give someone a tinkle — to call someone on the telephone
  • glen of imaal terrier — a strongly-built medium-sized variety of terrier with a medium-length coat and short forelegs
  • gram-molecular weight — gram molecule. Abbreviation: GMW.
  • greek-letter sorority — a sorority whose name consists usually of two or three Greek letters, as Lambda Rho (ΛP).
  • guy lewis steele, jr. — (person)   (GLS) A software engineer whose most notable contributions to the art of computing include the design of Scheme (in cooperation with Gerald Sussman) and the design of the original command set of Emacs. He is also known for his contribution to the Jargon File and for being the first to port TeX (from WAITS to ITS). He wrote the book "Common Lisp", which virtually defines the language. He was working at Sun Microsystems, Inc. from 1996 to the present (June 2001).
  • happy little vegemite — a person who is in good humour
  • henry steele commagerHenry Steele, 1902–98, U.S. historian, author, and teacher.
  • hubble classification — a method of classifying galaxies depending on whether they are elliptical, spiral, barred spiral, or irregular
  • hypercholesterolaemia — the condition of having a high concentration of cholesterol in the blood
  • illinois bundleflower — a warm-season perennial, Desmanthus illinoensis, having small brown legumes and fernlike leaves, native to North American prairies, glades, and pastures.
  • immunoelectrophoresis — a technique for the separation and identification of mixtures of proteins, consisting of electrophoresis followed by immunodiffusion.
  • immunoelectrophoretic — a technique for the separation and identification of mixtures of proteins, consisting of electrophoresis followed by immunodiffusion.
  • in one's shirtsleeves — not wearing a jacket
  • in-complete dominance — the appearance in a heterozygote of a trait that is intermediate between either of the trait's homozygous phenotypes.
  • instrumental learning — a method of training in which the reinforcement is made contingent on the occurrence of the response
  • intellectual property — Law. property that results from original creative thought, as patents, copyright material, and trademarks.
  • japanese stranglehold — a wrestling hold in which an opponent's wrists are pulled to cross his or her arms in front of his or her own neck and exert pressure on the windpipe
  • jewish defense league — an organization of militant Jewish activists, founded in 1968 in the U.S. to combat anti-Semitism and defend Jewish interests worldwide. Abbr.: JDL.
  • just leave well alone — to refrain from interfering with something that is satisfactory
  • keep one's nose clean — the part of the face or facial region in humans and certain animals that contains the nostrils and the organs of smell and functions as the usual passageway for air in respiration: in humans it is a prominence in the center of the face formed of bone and cartilage, serving also to modify or modulate the voice.
  • kekule von stradonitz — Friedrich August [free-drikh ou-goo st] /ˈfri drɪx ˈaʊ gʊst/ (Show IPA), 1829–96, German chemist.
  • kleine-levin syndrome — prolonged episodes of excessive sleepiness often accompanied by overeating, hallucinations, and electroencephalogram changes, usually beginning in adolescence.
  • knowledge engineering — the practical application of developments in the field of computer science concerned with artificial intelligence.
  • laugh up one's sleeve — the part of a garment that covers the arm, varying in form and length but commonly tubular.
  • league of arab states — Arab League.
  • leaning tower of pisa — a round, marble campanile in Pisa, Italy, begun in 1174 and now 17 feet (5.2 meters) out of the perpendicular in its height of 179 feet (54 meters).
  • learning difficulties — difficulty experienced in reaching the average standard of people of the same age group as regards intellectual and cognitive skills and performance
  • least common multiple — lowest common multiple.
  • least significant bit — (data)   (LSB) Bit zero, the bit of a binary number giving the number of ones, the last or rightmost bit when the number is written in the usual way.
  • leave holding the bag — a container or receptacle of leather, plastic, cloth, paper, etc., capable of being closed at the mouth; pouch.
  • leave sb in the lurch — If someone leaves you in the lurch, they go away or stop helping you at a very difficult time.
  • legionnaire's disease — a serious, sometimes fatal, infection, caused by the bacterium Legionella pneumophila, which has symptoms similar to those of pneumonia: believed to be spread by inhalation of contaminated water vapour from showers and air-conditioning plants
  • legionnaires' disease — a type of acute pneumonia caused by Legionella pneumophila bacterium and characterized by fever, chest pain, cough, and muscle aches.
  • lender of last resort — the central bank of a country with authority for controlling its banking system
  • let sleeping dogs lie — a domesticated canid, Canis familiaris, bred in many varieties.
  • let well enough alone — separate, apart, or isolated from others: I want to be alone.
  • level of significance — significance level.
  • lexical decision task — an experimental task in which subjects have to decide as fast as possible whether a given letter string is a word
  • light armored vehicle — an eight-wheeled armored reconnaissance car with a 25mm cannon, in service with the U.S. Army and Marine Corps in the 1980s.
  • live to tell the tale — If you survive a dangerous or frightening experience and so are able to tell people about it afterwards, you can say that you lived to tell the tale.
  • lordship of the isles — an overlordship of the Western Isles of Scotland and adjacent lands instituted in 1266 when Magnus of Norway ceded the Hebrides, the Isle of Man, and Kintyre to the King of Scotland, and claimed by the chiefs of Clan Dougall and later by those of Clan Donald. The title was forfeited to James IV in 1493 and is now held by the eldest son of the sovereign
  • macintosh file system — (file system)   A file on the Macintosh consists of two parts, called forks. The "data fork" contains the data which would normally be stored in the file on other operating systems. The "resource fork" contains a collection of arbitrary attribute/value pairs, including program segments, icon bitmaps, and parametric values. Yet more information regarding Macintosh files is stored by the Finder in a hidden file, called the "Desktop Database". Because of the complications in storing different parts of a Macintosh file in non-Macintosh file systems that only handle consecutive data in one part, it is common to only send the Data fork or to convert the Macintosh file into some other format before transferring it.
  • madagascar periwinkle — a plant, Catharanthus roseus (or Vinca rosea), cultivated for its glossy foliage and pink or white flowers.
  • magnificent riflebird — a bird of paradise, Craspedophora magnifica
Was this page helpful?
Yes No
Thank you for your feedback! Tell your friends about this page
Tell us why?