Xfun

S. Dalmas, INRIA, 1991.

A cross between SML[1] and Russell, intended for computer algebra.

"A Polymorphic Functional Language Applied to Symbolic Computation", S. Dalmas, Proceedings of the International Symposium on Symbolic and Algebraic Computing, Berkeley 1992.