A functional and logic language with polymorphic types

This publication has 21 references indexed in Scilit:

• Completion-time optimization of rewrite-time goal solving
  Published by Springer Nature ,1989
• Horn clause programs with polymorphic types: Semantics and resolution
  Published by Springer Nature ,1989
• A polymorphic type system with subtypes for Prolog
  Published by Springer Nature ,1988
• Login: a logic programming language with built-in inheritance
  The Journal of Logic Programming, 1986
• Unification in conditional-equational theories
  Published by Springer Nature ,1985
• A polymorphic type system for prolog
  Artificial Intelligence, 1984
• Proofs by induction in equational theories with constructors
  Journal of Computer and System Sciences, 1982
• Principal type-schemes for functional programs
  Published by Association for Computing Machinery (ACM) ,1982
• The undecidability of the second-order unification problem
  Theoretical Computer Science, 1981
• Equations and Rewrite Rules: A Survey
  Published by Elsevier ,1980