Source : Free On-Line Dictionary of Computing

Forsythe
     
        A descendent of {Algol 60}, intended to be as uniform and
        general as possible, while retaining the basic character of
        its progenitor.  Forsythe features {higher-order procedure}s
        and {intersection type}s.
     
        {(ftp://e.ergo.cs.cmu.edu/)}.
     
        ["Preliminary Design of the Programming Language Forsythe",
        J.C. Reynolds, CMU-CS-88-159, 1988].