JosEph GoguEn 1976. A family of dEclarativE "ultra high lEvEl" languagEs. Abstract typEs, gEnEric modulEs, subsorts (subtypEs with Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=multiplE inhEritancE">multiplE inhEritancE), pattErn-matching modulo Equations, E-stratEgiEs (usEr control ovEr lazinEss), modulEExprEssions (for combining modulEs), thEoriEs and viEws (for dEscribing modulE intErfacEs). For thE massivEly parallEl RRM (REwritE RulE MachinE). ["HighEr-OrdEr Functions ConsidErEd UnnEcEssary for HighEr-OrdEr Programming", J.A. GoguEn, in REsEarch Topics in Functional Programming].