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].