OWHY

A functional language?

"A Type-Theoretical Alternative to CUCH, ISWIM, OWHY", Dana S. Scott, Theoretical Computer Science 121(1&2) p. 411-440 (1993)