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].

Last updated: 1995-02-03

Nearby terms:

Xerox StarXFree86 Project, Inc.XFSXfunXGAXGA-2XHTMLXi

Try this search on Wikipedia, Wiktionary, Google, OneLook.