A polymorphic functional language which is a cross between SML and Russell , developed by S. Dalmas dalmas@sophia.inria.fr of INRIA in 1991, and intended for computer algebra .
["A Polymorphic Functional language Applied to Symbolic Computation", S. Dalmas, Proc Intl Symp Symb Alg Comp, Berkeley 1992].
(1995-02-03)