JoSeph Goguen 1976. A family of declarative "ultra high level" languageS. AbStract typeS, generic moduleS, SubSortS (SubtypeS with multiple inheritance), pattern-matching modulo equationS, E-StrategieS (uSer control over lazineSS), module expreSSionS (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].

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ = ] [ ag ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ aS ] [ at ] [ az ] [ b ] [ bi ] [ bS ] [ bt ] [ C ] [ ch ] [ cl ] [ co ] [ com ] [ con ] [ control ] [ cr ] [ de ] [ dec ] [ du ] [ E ] [ ec ] [ ed ] [ eg ] [ er ] [ eS ] [ expreSSion ] [ fi ] [ file ] [ fo ] [ for ] [ Fun ] [ G ] [ ge ] [ gen ] [ gh ] [ gi ] [ Go ] [ gr ] [ gu ] [ h ] [ hing ] [ hr ] [ id ] [ ie ] [ il ] [ in ] [ inheritance ] [ int ] [ interface ] [ io ] [ it ] [ J ] [ la ] [ language ] [ lazineSS ] [ Lex ] [ lt ] [ ly ] [ M ] [ ma ] [ Mac ] [ Mach ] [ mil ] [ mm ] [ mo ] [ mod ] [ module ] [ modulo ] [ mu ] [ multiple inheritance ] [ na ] [ nc ] [ ne ] [ ng ] [ ni ] [ nn ] [ nS ] [ O ] [ om ] [ op ] [ pa ] [ pe ] [ ph ] [ pl ] [ pr ] [ query ] [ rc ] [ re ] [ ro ] [ Sa ] [ Sc ] [ Se ] [ Si ] [ So ] [ Sort ] [ St ] [ Su ] [ Subtype ] [ T ] [ tc ] [ th ] [ tr ] [ tt ] [ type ] [ ua ] [ uS ] [ uSer ] [ ve ] [ vi ] [ write ] [ wS ]