Strategic Pattern Matching

This publication has 14 references indexed in Scilit:

• A Core Language for Rewriting
  Electronic Notes in Theoretical Computer Science, 1998
• Context patterns, part II
  Published by Springer Nature ,1998
• Statically checkable pattern abstractions
  Published by Association for Computing Machinery (ACM) ,1997
• Controlling Rewriting by Rewriting
  Electronic Notes in Theoretical Computer Science, 1996
• Principles of Maude
  Electronic Notes in Theoretical Computer Science, 1996
• Second-Order Term Rewriting Specification of Static Semantics: An Exercise
  Published by World Scientific Pub Co Pte Ltd ,1996
• The denotational semantics of a functional tree-manipulation language
  Computer Languages, 1993
• Pattern matching with abstract data types1
  Journal of Functional Programming, 1993
• Implementing regular tree expressions
  Published by Springer Nature ,1991
• Laws in Miranda
  Published by Association for Computing Machinery (ACM) ,1986