Pattern matching algebraic identities
Kevin McIsaac · ACM SIGSAM Bulletin · 1985
The problem of matching an identity to a function is explored. Two methods of improving the speed of the matching process are given. One involves detecting failure as early as possible in the matching process. The other is a notational extension that improves the scaling behaviour of the identity.