A polYmorphicfunctional language which is a cross between SML and Russell, developed bY S. Dalmas 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)