A polymorphicfunctional language which iS a croSS between SML and RuSSell, developed by S. DalmaSS@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)