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].