CHARITY
Cockett, Spencer, Fukushima, Department of Computer Science, University of Calgary, 1990-1991
A functional language based purely on category theory.
"About Charity", J. R. B. Cockett et al.
A version for the Sun4 is available from Tom Fukushima.