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.

.

["Preliminary Design of the Programming Language Forsythe",

J.C. Reynolds, CMU-CS-88-159, 1988].