xfun

from The Free On-line Dictionary of Computing (8 July 2008)

Xfun

   A {polymorphic} {functional language} which is a cross between
   {SML} and {Russell}, developed by S. Dalmas
   <[email protected]> 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)