An early functional language(?).
["A Type-Theoretical Alternative to CUCH, ISWIM, OWHY", Dana Scott, Oxford U 1969].
(19 Jan 1995)