0%

14-letter words containing a, v, o, c, e, t

  • elevator pitch — an informal an extremely short and pithy version of a sales pitch or business plan
  • eta conversion — (theory)   In lambda-calculus, the eta conversion rule states \ x . f x <--> f provided x does not occur as a free variable in f and f is a function. Left to right is eta reduction, right to left is eta abstraction (or eta expansion). This conversion is only valid if bottom and \ x . bottom are equivalent in all contexts. They are certainly equivalent when applied to some argument - they both fail to terminate. If we are allowed to force the evaluation of an expression in any other way, e.g. using seq in Miranda or returning a function as the overall result of a program, then bottom and \ x . bottom will not be equivalent. See also observational equivalence, reduction.
  • galvanocautery — a cautery heated by a galvanic current.
  • george calvert — Charles (3rd Baron Baltimore) 1637–1715, English colonial administrator in America: governor (1661–75) and proprietor (1675–89) of Maryland (grandson of George Calvert).
  • george v coast — a coastal region in Antarctica, along the Indian Ocean coast.
  • gothic revival — a Gothic style of architecture popular between the late 18th and late 19th centuries, exemplified by the Houses of Parliament in London (1840)
  • have a stomack — to be pregnant
  • have it coming — Usually, haves. an individual or group that has wealth, social position, or other material benefits (contrasted with have-not).
  • immunoreactive — Of, pertaining to, or causing an immune reaction.
  • improvisatrice — Female improvisatore.
  • inverted comma — quotation mark.
  • irrevocability — not to be revoked or recalled; unable to be repealed or annulled; unalterable: an irrevocable decree.
  • italian clover — crimson clover.
  • judge advocate — a staff officer designated as legal adviser to a commander and charged with the administration of military justice.
  • levant morocco — a fine morocco leather with a large, irregular grain, used esp. in bookbinding
  • macroevolution — major evolutionary transition from one type of organism to another occurring at the level of the species and higher taxa.
  • mattress cover — a cover that can be put over a mattress before a bed sheet, providing further protection
  • meta-cognitive — higher-order thinking that enables understanding, analysis, and control of one’s cognitive processes, especially when engaged in learning.
  • native country — the country someone is born in or native to
  • non-conversant — familiar by use or study (usually followed by with): conversant with Spanish history.
  • non-creativity — the state or quality of being creative.
  • non-cultivable — capable of being cultivated.
  • non-cultivated — prepared and used for raising crops; tilled: cultivated land.
  • non-extractive — capable of being extracted, as from the earth: extractive fuels.
  • nonachievement — Something that does not achieve the intended goal.
  • nonacquisitive — not acquisitive
  • noncausatively — In a noncausative manner.
  • noncommutative — of or relating to commutation, exchange, substitution, or interchange.
  • noncontrastive — not contrastive.
  • noncooperative — Not cooperative; uncooperative.
  • noncorrelative — Not correlative.
  • nondeclarative — serving to declare, make known, or explain: a declarative statement.
  • nondiffractive — Not diffractive.
  • noninteractive — acting one upon or with the other.
  • nonprocreative — Not procreative.
  • nonprovocative — Not provocative.
  • nonradioactive — not radioactive
  • nonretroactive — not retroactive
  • nonspeculative — not speculative
  • novelistically — In a novelistic way.
  • objective caml — (language)   (Originally "CAML" - Categorical Abstract Machine Language) A version of ML by G. Huet, G. Cousineau, Ascander Suarez, Pierre Weis, Michel Mauny and others of INRIA. CAML is intermediate between LCF ML and SML [in what sense?]. It has first-class functions, static type inference with polymorphic types, user-defined variant types and product types, and pattern matching. It is built on a proprietary run-time system. The CAML V3.1 implementation added lazy and mutable data structures, a "grammar" mechanism for interfacing with the Yacc parser generator, pretty-printing tools, high-performance arbitrary-precision arithmetic, and a complete library. in 1990 Xavier Leroy and Damien Doligez designed a new implementation called CAML Light, freeing the previous implementation from too many experimental high-level features, and more importantly, from the old Le_Lisp back-end. Following the addition of a native-code compiler and a powerful module system in 1995 and of the object and class layer in 1996, the project's name was changed to Objective CAML. In 2000, Jacques Garrigue added labeled and optional arguments and anonymous variants.
  • objective case — objective (def 2a).
  • objective-case — something that one's efforts or actions are intended to attain or accomplish; purpose; goal; target: the objective of a military attack; the objective of a fund-raising drive.
  • octave coupler — a mechanism on an organ and on some harpsichords that enables keys or pedals an octave apart to be played simultaneously
  • ovariectomized — Simple past tense and past participle of ovariectomize.
  • over-expectant — having expectations; expecting: an excited, expectant audience.
  • over-patriotic — of, like, suitable for, or characteristic of a patriot.
  • over-tolerance — a fair, objective, and permissive attitude toward those whose opinions, beliefs, practices, racial or ethnic origins, etc., differ from one's own; freedom from bigotry.
  • overaccentuate — to accentuate too much
  • overallocation — Excess allocation.
Was this page helpful?
Yes No
Thank you for your feedback! Tell your friends about this page
Tell us why?