A new look at pattern matching in abstract data types

This publication has 9 references indexed in Scilit:

• Pattern matching with abstract data types1
  Journal of Functional Programming, 1993
• Report on the programming language Haskell
  ACM SIGPLAN Notices, 1992
• CML
  Published by Association for Computing Machinery (ACM) ,1991
• Lawful functions and program verification in Miranda
  Science of Computer Programming, 1990
• Compiling pattern matching by term decomposition
  Published by Association for Computing Machinery (ACM) ,1990
• Views: a way for pattern matching to cohabit with data abstraction
  Published by Association for Computing Machinery (ACM) ,1987
• A standard ML compiler
  Published by Springer Nature ,1987
• Laws in Miranda
  Published by Association for Computing Machinery (ACM) ,1986
• Compiling pattern matching
  Lecture Notes in Computer Science, 1985