Context patterns in Haskell

This publication has 20 references indexed in Scilit:

• Pattern matching in a functional transformation language using treeparsing
  Published by Springer Nature ,2005
• Compilation of non-linear, second order patterns on S-expressions
  Published by Springer Nature ,2005
• The functional logic language BABEL and its implementation on a graph machine
  New Generation Computing, 1996
• A combinatory logic approach to higher-order E-unification
  Theoretical Computer Science, 1995
• A gentle introduction to Haskell
  ACM SIGPLAN Notices, 1992
• Report on the programming language Haskell
  ACM SIGPLAN Notices, 1992
• 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
• A unification algorithm for typed λ-calculus
  Theoretical Computer Science, 1975