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