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