Proc Intl Symp Symb Alg Comp, Berkeley 1992

(1992)
  • Dalmas, S (1992) Dalmas, S "A Polymorphic Functional language Applied to Symbolic Computation"