VDict mobile



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
["A Polymorphic Functional language Applied to Symbolic
Computation", S. Dalmas, Proc Intl Symp Symb Alg Comp,
Berkeley 1992].
(1995-02-03)