Source : Free On-Line Dictionary of Computing

Xfun
     
        A {polymorphic} {functional 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)