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 procedures} and {intersection types}. (ftp://e.ergo.cs.cmu.edu/). ["Preliminary Design of the Programming Language Forsythe", J.C. Reynolds, CMU-CS-88-159, 1988].