xfun

1 definition found

xfun - Free On-line Dictionary of Computing (26 May 2007) :

  Xfun
  
     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].
  
     (1995-02-03)