0%

21-letter words containing c, i, t, e

  • 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.
  • genetic amplification — an increase in the frequency of replication of a DNA segment.
  • geometric progression — a sequence of terms in which the ratio between any two successive terms is the same, as the progression 1, 3, 9, 27, 81 or 144, 12, 1, 1/12, 1/144.
  • get on someone's wick — to cause irritation to a person
  • get-rich-quick scheme — a scheme that promises to make a person extremely wealthy over a short period of time, often at with little effort and at no risk
  • gilt-edged securities — government securities on which interest payments will certainly be met and that will certainly be repaid at par on the due date
  • give place to someone — to make room for or be superseded by someone
  • glacier national park — a national park in NW Montana: glaciers; lakes; forest reserve. 1534 sq. mi. (3970 sq. km).
  • glyceryl tripalmitate — palmitin.
  • gobject introspection — (programming)   A GNOME project that defines a syntax for introspection annotation pragmas to be used in the GObject library source code. Rather than actual introspection, these are intended to allow automatic generation of bindings (APIs) to expose the library to higher-level languages. The sort of information provided is the type and direction (in, out, inout) of function parameters and the responsibility for freeing memory used by data structures.
  • government securities — securities issued by the US Government
  • gram-molecular weight — gram molecule. Abbreviation: GMW.
  • grammatical inference — Deducing a grammar from given examples. Also known as "inductive inference" and recently as "computational learning".
  • great victoria desert — a desert in SW central Australia. 125,000 sq. mi. (324,000 sq. km).
  • greenwich observatory — the national astronomical observatory of Great Britain, housed in a castle in E Sussex; formerly located at Greenwich.
  • ground-effect machine — ACV (def 2).
  • guaranteed scheduling — (algorithm)   A scheduling algorithm used in multitasking operating systems that guarantees fairness by monitoring the amount of CPU time spent by each user and allocating resources accordingly.
  • harriet beecher stowe — Harriet (Elizabeth) Beecher, 1811–96, U.S. abolitionist and novelist.
  • have it coming to one — to deserve what one is about to suffer
  • have the inside track — If you say that someone has the inside track, you mean that they have an advantage, for example special knowledge about something.
  • heliocentric parallax — the apparent displacement of an observed object due to a change in the position of the observer.
  • hierarchical database — (database)   A kind of database management system that links records together like a family tree such that each record type has only one owner, e.g. an order is owned by only one customer. Hierarchical structures were widely used in the first mainframe database management systems. However, due to their restrictions, they often cannot be used to relate structures that exist in the real world.
  • high court of justice — an English court formed in 1873 from several superior courts and consisting of a court of original jurisdiction (High Court of Justice) and an appellate court (Court of Appeal)
  • higher-order function — (HOF) A function that can take one or more functions as argument and/or return a function as its value. E.g. map in (map f l) which returns the list of results of applying function f to each of the elements of list l. See also curried function.
  • highest common factor — greatest common divisor. Abbreviation: H.C.F.
  • historic places trust — (in New Zealand) the statutory body concerned with the conservation of historic buildings, esp with ancient Māori sites
  • homogeneous catalysis — Homogeneous catalysis is catalysis in which the catalyst takes part in the reaction that it increases.
  • homolosine projection — an equal-area projection of the world, distorting ocean areas in order to minimize the distortion of the continents.
  • 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
  • hyperkinetic disorder — another name for attention deficit hyperactivity disorder (ADHD)
  • hypothetico-deductive — pertaining to or governed by the supposed method of scientific progress whereby a general hypothesis is tested by deducing predictions that may be experimentally tested. When such a prediction is falsified the theory is rejected and a new hypothesis is required
  • ibm customer engineer — (job)   (CE) A hardware guy from IBM.
  • identical proposition — a proposition in which the subject and predicate have the same meaning, as, “That which is mortal is not immortal.”.
  • identification papers — documents that serve to establish someone's identity
  • identification parade — a group of persons including one suspected of having committed a crime assembled for the purpose of discovering whether a witness can identify the suspect
  • ieee computer society — (body)   The society of the IEEE which publishes the journal "Computer".
  • immaculate conception — the dogma of the unique privilege by which the Virgin Mary was conceived in her mother's womb without the stain of original sin through the anticipated merits of Jesus Christ. Compare virgin birth (def 1).
  • immediate constituent — one of the usually two largest constituents of a construction: The immediate constituents of He ate his dinner are he and ate his dinner; of ate his dinner are ate and his dinner; etc. Abbreviation: IC.
  • 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.
  • immunohistochemically — By means of or in regard to immunohistochemistry.
  • imperfect competition — economics: when sb has excessive influence on market price
  • imprecise probability — (probability)   A probability that is represented as an interval (as opposed to a single number) included in [0,1].
  • in (or out of) place — in (or out of) the customary, proper, or assigned place
  • in bad/good/etc taste — If you say that something that is said or done is in bad taste or in poor taste, you mean that it is offensive, often because it concerns death or sex and is inappropriate for the situation. If you say that something is in good taste, you mean that it is not offensive and that it is appropriate for the situation.
  • in good circumstances — (of a person) in a good financial situation
  • in no uncertain terms — If you say that someone tells a person something in no uncertain terms, you are emphasizing that they say it strongly and clearly so that there is no doubt about what they mean.
  • in the course of time — eventually
  • in the first instance — You say in the first instance to mention something that is the first step in a series of actions.
Was this page helpful?
Yes No
Thank you for your feedback! Tell your friends about this page
Tell us why?