Compilation of pattern matching with associative-commutative functions

This publication has 8 references indexed in Scilit:

• Programming in equational logic: beyond strong sequentiality
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Compiling pattern matching by term decomposition
  Published by Association for Computing Machinery (ACM) ,1990
• A new method for undecidability proofs of first order theories
  Published by Springer Nature ,1990
• Refined compiliation of pattern-matching for functional languages
  Science of Computer Programming, 1988
• Complexity of matching problems
  Journal of Symbolic Computation, 1987
• Lazy pattern matching in the ML language
  Lecture Notes in Computer Science, 1987
• Fast many-to-one matching algorithms
  Published by Springer Nature ,1985
• Compiling pattern matching
  Lecture Notes in Computer Science, 1985