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)
Nearby terms:
XEROX PARC « Xerox Star « XFree86 Project, Inc. «
Xfun
» XGA » XGA-2 » XHTML
|