Partial type assignment in left linear applicative term rewriting systems

This publication has 10 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Concurrent clean
  Published by Springer Nature ,1991
• A proper extension of ML with an effective type-assignment
  Published by Association for Computing Machinery (ACM) ,1988
• Clean — A language for functional graph rewriting
  Published by Springer Nature ,1987
• Term graph rewriting
  Published by Springer Nature ,1987
• Principles of OBJ2
  Published by Association for Computing Machinery (ACM) ,1985
• Miranda: A non-strict functional language with polymorphic types
  Lecture Notes in Computer Science, 1985
• Polymorphic type schemes and recursive definitions
  Published by Springer Nature ,1984
• A filter lambda model and the completeness of type assignment
  The Journal of Symbolic Logic, 1983
• A Machine-Oriented Logic Based on the Resolution Principle
  Journal of the ACM, 1965