Type inference with polymorphic recursion

This publication has 17 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Semi-unification
  Theoretical Computer Science, 1991
• An overview of Miranda
  ACM SIGPLAN Notices, 1986
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• Properties of substitutions and unifications
  Journal of Symbolic Computation, 1985
• A polymorphic type system for prolog
  Artificial Intelligence, 1984
• On the sequential nature of unification
  The Journal of Logic Programming, 1984
• An Efficient Unification Algorithm
  ACM Transactions on Programming Languages and Systems, 1982
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
  Journal of the ACM, 1980
• Modified basic functionality in combinatory logic
  Dialectica, 1969