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. . ["Preliminary Design of the Programming Language forsythe", J.C. Reynolds, CMU-CS-88-159, 1988].