21-letter words containing eric
- afro-american english — Black English (def 1).
- afro-american studies — black studies.
- america on-line, inc. — (company, communications) (AOL) A US on-line service provider based in Vienna, Virginia, USA. AOL claims to be the largest and fastest growing provider of on-line services in the world, with the most active subscriber base. AOL offers its three million subscribers electronic mail, interactive newspapers and magazines, conferencing, software libraries, computing support, and on-line classes. In October 1994 AOL made Internet FTP available to its members and in May 1995, full Internet access including web. AOL's main competitors are Prodigy and Compuserve.
- american red squirrel — either of two reddish-brown squirrels, Tamiasciurus hudsonicus or T. douglasii, inhabiting forests of North America
- american saddle horse — one of a breed of horses, raised originally in the U.S., that have high-stepping gaits and are bred to the three-gaited or five-gaited type.
- atmospheric inversion — inversion (def 12).
- atmospheric-inversion — an act or instance of inverting.
- british north america — (formerly) Canada or its constituent regions or provinces that formed part of the British Empire
- frederick william iii — 1770–1840, king of Prussia 1797–1840.
- 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.
- spherical coordinates — Usually, spherical coordinates. any of three coordinates used to locate a point in space by the length of its radius vector and the angles this vector makes with two perpendicular polar planes.
- volunteers of america — a religious reform and relief organization, similar to the Salvation Army, founded in New York City in 1896 by Ballington Booth, son of William Booth, the founder of the Salvation Army. Abbreviation: VOA.
On this page, we collect all 21-letter words with ERIC. It’s easy to find right word with a certain length. It is the easiest way to find 21-letter word that contains ERIC to use in Scrabble or Crossword puzzles.