Context patterns, part II

This publication has 19 references indexed in Scilit:

• Context patterns in Haskell
  Published by Springer Nature ,1997
• Active patterns
  Published by Springer Nature ,1997
• A combinatory logic approach to higher-order E-unification
  Theoretical Computer Science, 1995
• Decidable higher-order unification problems
  Published by Springer Nature ,1994
• A fold for all seasons
  Published by Association for Computing Machinery (ACM) ,1993
• Higher-order unification revisited: Complete sets of transformations
  Journal of Symbolic Computation, 1989
• A novel representation of lists and its application to the function “reverse”
  Information Processing Letters, 1986
• The undecidability of the second-order unification problem
  Theoretical Computer Science, 1981
• Proving and applying program transformations expressed with second-order patterns
  Acta Informatica, 1978
• A unification algorithm for typed λ-calculus
  Theoretical Computer Science, 1975