Orwell

A lazy functional language, Miranda-like. It has list comprehensions and pattern matching.

"Introduction to Orwell 5.00", P. L. Wadler et al, Programming Research Group, Oxford University, 1988.