Dalmas, S "A Polymorphic Functional language Applied to Symbolic Computation"

(1992) Proc Intl Symp Symb Alg Comp, Berkeley 1992  

Languages mentioned Xfun {1991}