Xfun

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

  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)