A rewrite-based type discipline for a subset of computer algebra

This publication has 4 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• Properties of substitutions and unifications
  Journal of Symbolic Computation, 1985
• Edinburgh LCF
  Lecture Notes in Computer Science, 1979