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)