A descendent of Algol 60, intended to be as uniform andgeneral as possible, while retaining the basic character ofits progenitor. Forsythe features higher-order proceduresand intersection types.
ftp://e.ergo.cs.cmu.edu/.
["Preliminary Design of the Programming Language Forsythe",J.C. Reynolds, CMU-CS-88-159, 1988].