Computational consequences and partial solutions of a generalized unification problem

This publication has 16 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• On the computational power of universally polymorphic recursion
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Characterization of typings in polymorphic type discipline
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A proper extension of ML with an effective type-assignment
  Published by Association for Computing Machinery (ACM) ,1988
• On type inference for object-oriented programming languages
  Published by Springer Nature ,1988
• Semi-unification
  Published by Springer Nature ,1988
• Polymorphic type schemes and recursive definitions
  Published by Springer Nature ,1984
• Polymorphic type inference
  Published by Association for Computing Machinery (ACM) ,1983
• Edinburgh LCF
  Lecture Notes in Computer Science, 1979
• Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types
  Published by Elsevier ,1971