You are here: irt.org | FOLDOC | 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 Star « XFree86 Project, Inc. « XFS « Xfun » XGA » XGA-2 » XHTML
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL